#4834: New Functor => Applicative => Monad Hierarchy
---------------------------------+------------------------------------------
Reporter: gidyn | Owner:
Type: proposal | Status: new
Priority: normal | Component: libraries/base
Version: 7.0.1 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
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://hackage.haskell.org/trac/ghc/ticket/4834>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
