used to introduce parametric polymorphism varies significantly between programming languages. For example, in some programming languages, such as Haskell, the quantifier is implicit and may be omitted. Other languages require types to be instantiated explicitly at some or all of a parametrically polymorphic function's call sites.

History

Parametric polymorphism was first introduced to programming languages in

1.Previous
3.Next