Wonderful!
On Fri, Oct 11, 2013 at 11:57 AM, Simon Marlow <marlo...@gmail.com> wrote: > On 02/10/13 17:01, Dag Odenhall wrote: > >> What about |MonadComprehensions|, by the way? The way I see it, it's an >> >> even better fit for |Applicative| because the |return| is implicit. >> > > It would happen automatically, because a Monad comprehension is > represented using the same abstract syntax as a do-expression internally. > > Cheers, > Simon > > > > >> >> On Tue, Oct 1, 2013 at 2:39 PM, Simon Marlow <marlo...@gmail.com >> <mailto:marlo...@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> >> >> >> <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@haskell.**__org >> >> <mailto:Glasgow-haskell-users@**haskell.org<Glasgow-haskell-users@haskell.org> >> > >> >> http://www.haskell.org/__**mailman/listinfo/glasgow-__**haskell-users<http://www.haskell.org/__mailman/listinfo/glasgow-__haskell-users> >> >> <http://www.haskell.org/**mailman/listinfo/glasgow-**haskell-users<http://www.haskell.org/mailman/listinfo/glasgow-haskell-users> >> > >> >> >> >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
