Functor => Applicative => Monad
kr.angelov at gmail.com
Tue Dec 14 09:24:06 CET 2010
This proposal will break every module which declares a monad instance
for some type. I expect that there will be many many broken
applications. Furthermore, if the only thing that I need is a monad
instance for some type, it is tedious do define Functor and
Applicative as well.
2010/12/14 John Smith <voldermort at hotmail.com>:
> I would like to formally propose that Monad become a subclass of
> Applicative, with a call for consensus by 1 February. The change is
> described on the wiki at
> http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal, and
> ticketed at http://hackage.haskell.org/trac/ghc/ticket/4834.
> As this would require a change to the prelude, it will presumably be
> necessary for GHC and the Haskell report to change in tandem. The Haskell'
> committee expects proposals to have been implemented before changing the
> standard, so I will propose this to Haskell' after it is accepted for GHC.
> Hopefully this will be sufficient to avoid a race condition.
> Libraries mailing list
> Libraries at haskell.org
More information about the Libraries