#155: New Functor => Applicative => Monad Hierarchy
------------------------------+---------------------------------------------
Reporter: gidyn | Owner:
Type: enhancement | Status: new
Priority: major | Milestone:
Component: (none-specified) | Keywords:
------------------------------+---------------------------------------------
The standard class hierarchy is a consequence of Haskell's historical
development, rather than logic. I would therefore like to propose a reform
of the Functor, Applicative, and Monad type classes. The new hierarchy is
logical, eliminates many duplicate names from the standard type class
definitions, and removes the need for boilerplate Monad -> Applicative
instance declarations.
The proposal is detailed in [http://haskell.org/haskellwiki/Functor-
Applicative-Monad_Proposal the wiki], along with an example of a legacy
module to provide some backwards-compatibility.
--
Ticket URL: <http://trac.haskell.org/haskell-platform/ticket/155>
haskell-platform <http://trac.haskell.org/haskell-platform>
The Haskell Platform: a comprehensive and robust collection of Haskell libraries
_______________________________________________
Haskell-platform mailing list
Haskell-platform@projects.haskell.org
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform
