<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"><<a href="mailto:dluposchainsky@googlemail.com" target="_blank">dluposchainsky@googlemail.com</a>></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's on! Time to tackle the Applicative-Monad issue, hopefully once and<br>
for all. Over the last couple of weeks I'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's a bit long for an email<br>
and uses markdown, so I'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's an abstract of what it<br>
the proposal consists of:<br>
<br>
<br>
- Don't break compatibility<br>
- Apply it gently<br>
<br>
- Applicative m => Monad m<br>
- Applicative into Prelude (and therefore into the Report)<br>
- (Alternative m, Monad m) => MonadPlus m<br>
- Promote `join` into the Monad typeclass<br>
<br>
<br>
Let's make this happen! I'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't take it too serious. I'll summarize what'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'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'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>