Functor hierarchy proposal: Difference between revisions
Twhitehead (talk | contribs) (Note about the possibility of splitting off a Pointed class) |
(This seems a less-complete version of another proposal and I hope nobody minds if it becomes a redirect) |
||
| Line 1: | Line 1: | ||
#REDIRECT [[Functor-Applicative-Monad Proposal]] | |||
<!-- | |||
Currently the standard libraries include a <hask>Functor</hask> class and a <hask>Monad</hask> class, and <hask>Functor</hask> is not a superclass of <hask>Monad</hask>, even though logically every monad is a functor. New classes have been added to HEAD to create a richer hierarchy of Functor classes: | Currently the standard libraries include a <hask>Functor</hask> class and a <hask>Monad</hask> class, and <hask>Functor</hask> is not a superclass of <hask>Monad</hask>, even though logically every monad is a functor. New classes have been added to HEAD to create a richer hierarchy of Functor classes: | ||
| Line 40: | Line 42: | ||
[[Category:Proposals]] | [[Category:Proposals]] | ||
[[Category:Functor]] | [[Category:Functor]] | ||
--> | |||
Revision as of 19:16, 1 January 2011
Redirect to: