Desugaring do-notation to Applicative

[Dag Odenhall]

Wonderful!


On Fri, Oct 11, 2013 at 11:57 AM, Simon Marlow <marlowsd at 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 <marlowsd at gmail.com
>> <mailto: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>
>>
>>     <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
>>     <mailto:Glasgow-haskell-users@**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>
>>     <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/20131011/a4761942/attachment.html>