<div dir="ltr">+1. Looks great. Thanks!<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 23, 2013 at 12:39 PM, David Luposchainsky <span dir="ltr">&lt;<a href="mailto:dluposchainsky@googlemail.com" target="_blank">dluposchainsky@googlemail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello libraries,<br>
<br>
it&#39;s on! Time to tackle the Applicative-Monad issue, hopefully once and<br>
for all. Over the last couple of weeks I&#39;ve looked through previous<br>
proposals, asked #haskell about their opinions, and compiled it all into<br>
one file that sums up what I made of that. It&#39;s a bit long for an email<br>
and uses markdown, so I&#39;ll just provide links at the end of this mail<br>
instead of pasting it in here. In there, the whole thing and how to<br>
approach it is explained in more detail. Here&#39;s an abstract of what it<br>
the proposal consists of:<br>
<br>
<br>
- Don&#39;t break compatibility<br>
- Apply it gently<br>
<br>
- Applicative m =&gt; Monad m<br>
- Applicative into Prelude (and therefore into the Report)<br>
- (Alternative m, Monad m) =&gt; MonadPlus m<br>
- Promote `join` into the Monad typeclass<br>
<br>
<br>
Let&#39;s make this happen! I&#39;m going to give a ballpark discussion period<br>
of four weeks, but since I can imagine this discussion could become<br>
quite complex we shouldn&#39;t take it too serious. I&#39;ll summarize what&#39;s<br>
been going on periodically though.<br>
<br>
David<br>
<br>
<br>
<br>
Links:<br>
<br>
The proposal text on Github (link fixed, sorry for the deadlink yesterday):<br>
<a href="https://github.com/quchen/articles/blob/master/applicative_monad.md" target="_blank">https://github.com/quchen/articles/blob/master/applicative_monad.md</a><br>
(This file is subject to changes, depending on how this discussion goes.<br>
I&#39;ll try to make it reflect the current consensus.)<br>
<br>
And just in case Github silentbans me again for submitting too many<br>
edits to my Gist (grrr), here&#39;s a copy of the file on HPaste as backup:<br>
<a href="http://hpaste.org/88423" target="_blank">http://hpaste.org/88423</a><br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>