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> 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> 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
