<div dir="ltr">Agreed. There does seem to be quite a bit<div>of support, but it's not a clear enough</div><div>consensus to add the operator to</div><div>Data.Function at this time. Therefore, the</div><div>proposal is withdrawn.<div>
<br></div><div>Thanks to everyone who participated in the</div><div>discussion, and special thanks to Edward for</div><div>the nice summary.</div><div><br></div><div>-Yitz</div><div><br></div></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sun, Nov 25, 2012 at 9:47 PM, Edward Kmett <span dir="ltr"><<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
At this point, it appears we've come to an impasse.<div><br></div><div>If you just run through the rather enormous thread that has erupted and just counted the votes (&) has a slight lead over not including it -- it is up 4.2 votes at my last rough count. The other colors of the bikeshed are all well into the negatives, see the table below. </div>
<div><div><br></div>That said, the libraries process is focused on reaching "broad consensus", not just counting up and down votes, and it is clear, even just a week in, with 25 people weighing in that there is not broad consensus on adding such an operator and we no longer seem to be heading in that direction.</div>
<div><br></div><div>Even though I am in favor of it, I would like to suggest we withdraw this proposal. </div><div><br></div><div>
<table border="0" cellpadding="0" cellspacing="0" width="340" style="border-collapse:collapse;width:340pt">
<colgroup><col width="177" style="width:177pt">
<col width="32" style="width:32pt">
<col width="35" style="width:35pt">
<col width="31" style="width:31pt">
<col width="65" style="width:65pt">
</colgroup><tbody><tr height="15" style="min-height:15.0pt">
<td height="15" width="177" style="min-height:15pt;width:177pt;font-size:12pt;color:white;font-weight:700;font-family:Calibri;border-top-width:1pt;border-style:solid none;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black;background-color:rgb(79,129,189);background-repeat:initial initial">
user</td>
<td width="32" style="width:32pt;font-size:12pt;color:white;font-weight:700;font-family:Calibri;border-top-width:1pt;border-style:solid none;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black;background-color:rgb(79,129,189);background-repeat:initial initial">
&</td>
<td width="35" style="width:35pt;font-size:12pt;color:white;font-weight:700;font-family:Calibri;border-top-width:1pt;border-style:solid none;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black;background-color:rgb(79,129,189);background-repeat:initial initial">
|></td>
<td width="31" style="width:31pt;font-size:12pt;color:white;font-weight:700;font-family:Calibri;border-top-width:1pt;border-style:solid none;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black;background-color:rgb(79,129,189);background-repeat:initial initial">
$.</td>
<td width="65" style="width:65pt;font-size:12pt;color:white;font-weight:700;font-family:Calibri;border-top-width:1pt;border-style:solid none;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black;background-color:rgb(79,129,189);background-repeat:initial initial">
#</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial">Edward Kmett</td>
<td align="right" style="font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri">Bryan O'Sullivan</td>
<td align="right" style="font-size:12pt;font-family:Calibri">1</td>
<td align="right" style="font-size:12pt;font-family:Calibri">1</td>
<td align="right" style="font-size:12pt;font-family:Calibri">-1</td>
<td style="font-size:12pt;font-family:Calibri"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Yitzchak
Gale</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Dan Burton</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Johan
Tibell</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Andreas Gal</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Stephen
Tetley</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Michael Sloan</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">John
Weigley</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Oren Ben-Kiki</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Brandon
Allbery</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Thomas Schiling</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">0.2</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">0.1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Gabor
Lehel</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Bas van Dijk</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Anthony
Cowley</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Twan Van Laarhoven</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Milan
Straka</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Cale Gibbard</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">David
Menendez</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">John Lato</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Joachim
Breitner</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Dag Odenhall</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
<td style="font-size:12pt;font-family:Calibri;border:none"></td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Heinrich
Apfelmus</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none">Jon Fairbairn</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none">-1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">Ganesh
Sittampalam</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">-1</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
<td style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial"></td>
<td align="right" style="font-size:12pt;font-family:Calibri;border:none;background-color:rgb(217,217,217);background-repeat:initial initial">1</td>
</tr>
<tr height="15" style="min-height:15.0pt">
<td height="15" style="min-height:15pt;font-size:12pt;font-family:Calibri;border-top-width:2pt;border-style:double none solid;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black">Total</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border-top-width:2pt;border-style:double none solid;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black">4.2</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border-top-width:2pt;border-style:double none solid;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black">-2.9</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border-top-width:2pt;border-style:double none solid;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black">-7</td>
<td align="right" style="font-size:12pt;font-family:Calibri;border-top-width:2pt;border-style:double none solid;border-top-color:black;border-bottom-width:1pt;border-bottom-color:black">-4</td>
</tr>
</tbody></table></div><div><br></div><div>(My apologies if I mischaracterized or misreported any of your stated opinions, I was just building a list for my own purposes.)</div><span class="HOEnZb"><font color="#888888"><div>
<br></div><div>-Edward</div></font></span><div class="HOEnZb"><div class="h5"><div><br></div>
<div><div class="gmail_quote">On Sat, Nov 24, 2012 at 4:38 AM, Ganesh Sittampalam <span dir="ltr"><<a href="mailto:ganesh@earth.li" target="_blank">ganesh@earth.li</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>On 20/11/2012 16:59, Yitzchak Gale wrote:<br>
<br>
> infixl 1 &<br>
> (&) :: a -> (a -> b) -> b<br>
> a & f = f a<br>
> {-# INLINE (&) #-}<br>
><br>
> Discussion period: 2 weeks<br>
><br>
> <a href="http://hackage.haskell.org/trac/ghc/ticket/7434" target="_blank">http://hackage.haskell.org/trac/ghc/ticket/7434</a><br>
<br>
</div>-1 for &, for me it's too unintuitive and different from any other language.<br>
<br>
I'd be +1 for |> but perhaps that's just because I do a lot of F#. I'd<br>
be ok with # too but perhaps MagicHash is an obstacle there.<br>
<span><font color="#888888"><br>
Ganesh<br>
</font></span><div><div><br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">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>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>