Parametric polymorphism: Difference between revisions

[http://en.wikipedia.org/wiki/Parametric_Polymorphism Parametric Polymorphism] is a way to define types that are generic over other types (therefore, sometimes this feature is called ''generic programming''). The genericity can be expressed by using ''type variables'' for the parameter type, and by a mechanism to explicitly or implicitly replace the type variables with concrete types when necessary.