Difference between revisions of "Functor hierarchy proposal"
Jump to navigation
Jump to search
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: