Personal tools

Parametric polymorphism

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(...have I got this right?)
(Moved content to Polymorphism)
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
Parametric polymorphism is when a function's type signature allows various arguments to take on arbitrary types, but the types most be ''related'' to each other in some way.
#REDIRECT [[Polymorphism#Parametric polymorphism]]
which means that the function well accept ''any'' type of list and ''any'' type of function, '''provided''' the types match up. This makes <hask>map</hask> highly polymorphic, yet there is still no risk of a runtime type mismatch.

Latest revision as of 21:39, 4 September 2012

  1. REDIRECT Polymorphism#Parametric polymorphism