4 Parameterization and Parametric Polymorphism
'T, then the system is responsible for automatically inferring the right instantiating actual type for each call of the method. Once bound, implicit type parameters are just like explicit type parameters. Matching has two parts: message sends are compared against signatures that may contain implicit type parameters, and method implementations are compared against signatures, either of which may have implicit type parameters. The first case is easier, since it requires matching a regular type against a type pattern, while the second case requires the ability to compare two patterns. Below we describe somewhat informally the process of matching a type against a type pattern; precise descriptions of both processes remain future work.
Generated with Harlequin WebMaker