Desugaring do-notation to Applicative

[Dag Odenhall]

What about MonadComprehensions, by the way? The way I see it, it's an even
better fit for Applicative because the return is implicit.


On Tue, Oct 1, 2013 at 2:39 PM, Simon Marlow <marlowsd at gmail.com> wrote:

> Following a couple of discussions at ICFP I've put together a proposal for
> desugaring do-notation to Applicative:
>
>   http://ghc.haskell.org/trac/**ghc/wiki/ApplicativeDo<http://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo>
>
> I plan to implement this following the addition of Applicative as a
> superclass of Monad, which is due to take place shortly after the 7.8
> branch is cut.
>
> Please discuss here, and I'll update the wiki page as necessary.
>
> Cheers,
> Simon
> ______________________________**_________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.**org <Glasgow-haskell-users at haskell.org>
> http://www.haskell.org/**mailman/listinfo/glasgow-**haskell-users<http://www.haskell.org/mailman/listinfo/glasgow-haskell-users>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20131002/da5bc6ad/attachment.html>