<div dir="ltr">+1 for <$>, 0 on <$, I rarely use it.<div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 24, 2015 at 7:25 PM, Conor McBride <span dir="ltr"><<a href="mailto:conor@strictlypositive.org" target="_blank">conor@strictlypositive.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On 24 Feb 2015, at 15:39, Edward Kmett <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br>
<br>
> We have a couple of weeks until the third release candidate for GHC 7.10 goes out the door.<br>
><br>
> Along the way with the last couple of release candidates folks have found some problems with the way we implemented the AMP. [1][2]<br>
><br>
> Most notably, we failed to include (<$>) in the Prelude, so the standard idiom of<br>
><br>
> foo <$> bar <*> baz <*> quux<br>
><br>
> doesn't work out of the box!<br>
><br>
> I'd like to include (<$>) in the Prelude in RC3.<br>
><br>
> I'd also like to invite discussion about whether folks believe we should include (<$) out of the box.<br>
><br>
> (<$) has been a member of Functor for a long time, which is only visible if you import it from Data.Functor or bring in Control.Applicative. There is an idiom that you use (<*) and (<$) to point to the parts of the structure that you want to keep the answers from when building longer such Applicative chains.<br>
<br>
</span>For more on this idiom (indeed), let me shamelessly plug<br>
<br>
  <a href="http://stackoverflow.com/a/15124278/828361" target="_blank">http://stackoverflow.com/a/15124278/828361</a><br>
<br>
and advise that the two travel together.<br>
<br>
I won’t vote. While we are still in the situation that progress breaks code which has been<br>
engineered to work around the prior lack of progress, making progress is simultaneously<br>
a good and bad idea. We should think about how to adapt our language of imports to<br>
accept the only too obvious reality that libraries change over time, so that we might be<br>
allowed to program defensively against sudden outbreaks of common sense.<br>
<br>
Apologetically<br>
<span class="HOEnZb"><font color="#888888"><br>
Conor<br>
</font></span><span class="im HOEnZb"><br>
><br>
> Discussion Period: 2 weeks<br>
><br>
> Thank you,<br>
> -Edward Kmett<br>
><br>
> [1] <a href="http://www.reddit.com/r/haskell/comments/2wzixa/shouldnt_be_in_prelude/" target="_blank">http://www.reddit.com/r/haskell/comments/2wzixa/shouldnt_be_in_prelude/</a><br>
> [2] <a href="https://plus.google.com/115504368969270249241/posts/URzeDWd7qMp" target="_blank">https://plus.google.com/115504368969270249241/posts/URzeDWd7qMp</a><br>
</span><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>