<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">FWIW, I'm less concerned about the precise name of ffor, although it seems sad to to lose the obvious correlation with fmap.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 22, 2017 at 2:37 PM, David Feuer <span dir="ltr"><<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm very much against the name ffor. Wouldn't forF be a better fit?<br>
<div class="HOEnZb"><div class="h5"><br>
On Wed, Feb 22, 2017 at 1:58 PM, Elliot Cameron <<a href="mailto:eacameron@gmail.com">eacameron@gmail.com</a>> wrote:<br>
> For the record, it makes no sense to me to have (<&>) without ffor. I am<br>
> personally ambivalent about (<&>) in base, but I'd be -1 if it were not<br>
> accompanied by ffor.<br>
><br>
> On Wed, Feb 22, 2017 at 4:16 AM, Joe Hillenbrand <<a href="mailto:joehillen@gmail.com">joehillen@gmail.com</a>><br>
> wrote:<br>
>><br>
>> +1 Please, please, please can we have this?<br>
>><br>
>> > Could we instead have "ffor" which can be used prefix or infix and<br>
>> > avoids the operator soup problem?<br>
>><br>
>> -1<br>
>><br>
>> On Mon, Feb 20, 2017 at 5:56 AM, Edward Kmett <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br>
>> > On Mon, Feb 20, 2017 at 3:42 AM, Andreas Abel <<a href="mailto:abela@chalmers.se">abela@chalmers.se</a>> wrote:<br>
>> >><br>
>> >> I am using `for`<br>
>> >><br>
>> >><br>
>> >><br>
>> >> <a href="https://hackage.haskell.org/package/Agda-2.5.2/docs/Agda-Utils-Functor.html" rel="noreferrer" target="_blank">https://hackage.haskell.org/<wbr>package/Agda-2.5.2/docs/Agda-<wbr>Utils-Functor.html</a><br>
>> >><br>
>> >> and I think taking `for` for Applicative was name theft.<br>
>> ><br>
>> ><br>
>> > This crime may no longer be charged under the statute of limitations.<br>
>> > The<br>
>> > federal code provides that no person can be tried or punished for any<br>
>> > noncapital offense unless they are indicted or information is instituted<br>
>> > within five years of the date the offense was committed.<br>
>> ><br>
>> > Of course, that is here within the U.S. You might have better luck in<br>
>> > the<br>
>> > international court of public opinion. =)<br>
>> ><br>
>> > -Edward<br>
>> ><br>
>> > ______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
>> ><br>
>> ______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
><br>
><br>
><br>
> ______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
><br>
</div></div></blockquote></div><br></div>