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