Map (higher-order function): Difference between revisions

Revision as of 06:57, 30 November 2006

Revision as of 05:38, 10 December 2006

Line 17:

==Haskell's Functor class==

In the [[Haskell (programming language)|Haskell programming language]], map is generalized to a [[Type polymorphism|polymorphic]] function called fmap using the Functor [[type class]]. For every Functor instance, fmap must be defined such that it obeys the Functor laws:

* <code>fmap id = id (identity)