argument unmodified. This naturally gives rise to a family of potential types, such as , , , and so on. Parametric polymorphism allows to be given a single, most general type by introducing a universally quantified type variable:

The polymorphic definition can then be instantiated by substituting any concrete type for , yielding the full family of potential types.

The identity function

1.Previous
3.Next