Proposal: Applicative => Monad: Is there any consensus?

[Edward Kmett]

I agree in principle that these should be split out into separate proposals,
but it should be done careful, as some of them only make sense once others
have been resolved. (e.g. Removing (>>) from monad is only a good idea if
Applicative is made a superclass because then (*>) makes it redundant).

-Edward Kmett

On Thu, Feb 3, 2011 at 9:42 AM, Sittampalam, Ganesh <
ganesh.sittampalam at credit-suisse.com> wrote:

> John Smith wrote:
> > On 03/02/2011 15:54, Stephen Tetley wrote:
> >> I'd contend the proposal is too disruptive to be independent of a
> >> language revision, so I'd vote no on the proposal as it stands.
> >
> > What do you mean by "independent of a language revision"? The idea is
> > that, if accepted, this will be proposed for Haskell'.
>
> So are you saying that acceptance should be conditional on the language
> change? If so I think the part that is a language change should be made
> independent of the rest. If accepted by Haskell' it would be implicit
> that the libraries would have to follow.
>
> I also think that the proposal in general is too disruptive at this
> stage. But we shouldn't abandon the idea of improving things completely.
> Looking at the current version on the wiki page linked from the proposal
> (http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal),
> there are several different changes in the one proposal:
>
>  (1) renaming fmap -> map
>  (2) adding join to Monad
>  (3) removing (>>) from Monad
>  (4) moving fail to MonadFail (this is a language change)
>  (5) adding Applicative as a superclass of Monad
>  .. and maybe anything else I missed
>
> If you would separate those out into separate items for discussion, I
> think it would be easier to reach consensus on each part. All the
> accepted pieces could still be scheduled together to minimise
> disruption.
>
> Cheers,
>
> Ganesh
>
>
> ===============================================================================
> Please access the attached hyperlink for an important electronic
> communications disclaimer:
> http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html
>
> ===============================================================================
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110203/d896be99/attachment.htm>