Map (higher-order function): Difference between revisions

Revision as of 13:32, 28 October 2015

Revision as of 13:33, 28 October 2015

Line 11:

==Generalization==

{{see also|Functor|Category theory}}

In the [[Haskell (programming language)|Haskell programming language]], the [[Type polymorphism|polymorphic]] function &nbsp;<code>map :: (a -> b) -> [a] -> [b]</code> is generalized to a [[Polytypic function|polytypic]] function called <code>fmap :: Functor f => (a -> b) -> f a -> f b</code>, which applies to any type in the [[functor (category theory)|<code>Functor</code>]] class.