<div dir="ltr">Definitely +1 on <$>. +0.5 on <$, I suspect this one being in the Prelude or not isn't as big a deal as for <$>.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 27, 2015 at 9:58 AM, S. Doaitse Swierstra <span dir="ltr"><<a href="mailto:doaitse@swierstra.net" target="_blank">doaitse@swierstra.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">They definitely should be in both, since the default implementations of <$> and <$<div><br></div><div>f <$> x = pure f <*> x</div><div>f <$   x  = const f <*> x</div><div><br></div><div>may be less efficient than a special implementation having more knowledge about applicative.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div> Doaitse</div></font></span><div><br></div><div>PS: for that reason they are for almost 20 years now member of the class IsParser in <a href="http://hackage.haskell.org/package/uulib-0.9.16/docs/UU-Parsing-Interface.html" target="_blank">http://hackage.haskell.org/package/uulib-0.9.16/docs/UU-Parsing-Interface.html</a> , which inspired the introduction of Applicative and Alternative in the first place.</div><div><div class="h5"><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br><div><blockquote type="cite"><div>On 27 Feb 2015, at 5:45 , Edward Kmett <<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Feb 26, 2015 at 6:37 PM, Greg Fitzgerald <span dir="ltr"><<a href="mailto:garious@gmail.com" target="_blank">garious@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Those operators are for Power Users - why put them in the Prelude? </blockquote><div><br></div><div>.. because without them that whole Applicative thing that we're bringing in as a superclass of Monad with the AMP is cut off at the knees.</div><div><br></div><div>Applicative sugar is typically used like</div><div><br></div><div>both f (x,y) = (,) <$> x <*> y</div><div><br></div><div>or</div><div><br></div><div>traverse f (x:xs) = (:) <$> f x <*> traverse f xs<br></div><div>traverse f [] = pure []</div><div><br></div><div>Without (<$>), (<*>) from Applicative is quite difficult to use. </div><div><br></div><div>both f (x,y) = pure (,) <*> x <*> y<br></div><div><br></div><div>is much less efficient and</div><div><br></div><div>both f (x,y) = fmap (,) x <*> y</div><div><br></div><div>is painfully far from idiomatic.</div><div><br></div><div>-Edward</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><font color="#888888">
-Greg<br>
</font></span><div><div><br>
<br>
> Dne út 24. 2. 2015 16:39 uživatel Edward Kmett <<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>> napsal:<br>
>><br>
>> We have a couple of weeks until the third release candidate for GHC 7.10<br>
>> goes out the door.<br>
>><br>
>> Along the way with the last couple of release candidates folks have found<br>
>> 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<br>
>> 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<br>
>> include (<$) out of the box.<br>
>><br>
>> (<$) has been a member of Functor for a long time, which is only visible<br>
>> if you import it from Data.Functor or bring in Control.Applicative. There is<br>
>> an idiom that you use (<*) and (<$) to point to the parts of the structure<br>
>> that you want to keep the answers from when building longer such Applicative<br>
>> chains.<br>
>><br>
>> Discussion Period: 2 weeks<br>
>><br>
>> Thank you,<br>
>> -Edward Kmett<br>
>><br>
>> [1]<br>
>> <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>
>> _______________________________________________<br>
>> Libraries mailing list<br>
>> <a href="mailto:Libraries@haskell.org" target="_blank">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>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org" target="_blank">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>
</div></div></blockquote></div><br></div></div>
_______________________________________________<br>Libraries mailing list<br><a href="mailto:Libraries@haskell.org" target="_blank">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></blockquote></div><br></div></div></div></div><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>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">Alp Mestanogullari</div>
</div>