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.
John Smith wrote:
I would like to formally propose that Monad become a subclass of Applicative, with a call for consensus by 1 February.
I would prefer that we have some proposal like class aliases implemented before we start fundamental restructuring of basic type classes. This would help to limit the disruption these changes cause, which will be substantial. Cheers, Ganesh =============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ===============================================================================
participants (2)
-
John Smith -
Sittampalam, Ganesh