Map (higher-order function): Difference between revisions

Revision as of 07:50, 18 August 2006

Revision as of 15:37, 10 November 2006

Line 19:

==Haskell's Functor class==

In the [[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 by the Functor laws:

* <code>fmap id = id