Proposal: Add (&) to Data.Function

Yitzchak Gale gale at sefer.org
Sat Dec 1 21:34:43 CET 2012


Agreed. There does seem to be quite a bit
of support, but it's not a clear enough
consensus to add the operator to
Data.Function at this time. Therefore, the
proposal is withdrawn.

Thanks to everyone who participated in the
discussion, and special thanks to Edward for
the nice summary.

-Yitz



On Sun, Nov 25, 2012 at 9:47 PM, Edward Kmett <ekmett at gmail.com> wrote:

> At this point, it appears we've come to an impasse.
>
> 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.
>
> 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.
>
> Even though I am in favor of it, I would like to suggest we withdraw this
> proposal.
>
>     user & |> $. #  Edward Kmett 1 -1 -1 -1  Bryan O'Sullivan 1 1 -1  Yitzchak
> Gale 1   Dan Burton 1   Johan Tibell -1 -1 -1 -1  Andreas Gal 1   Stephen
> Tetley  1  Michael Sloan 1   John Weigley 1   Oren Ben-Kiki 1   Brandon
> Allbery 1   Thomas Schiling 0.2 0.1   Gabor Lehel  1  Bas van Dijk 1   Anthony
> Cowley 1   Twan Van Laarhoven 1  1  Milan Straka 1   Cale Gibbard -1 -1 -1
> -1  David Menendez -1 -1 -1 -1  John Lato -1 -1 -1 -1  Joachim Breitner -1
> 1   Dag Odenhall 1 -1   Heinrich Apfelmus -1 -1 -1 -1  Jon Fairbairn -1 -1
> -1 -1  Ganesh Sittampalam -1 1 1  Total 4.2 -2.9 -7 -4
>
> (My apologies if I mischaracterized or misreported any of your stated
> opinions, I was just building a list for my own purposes.)
>
> -Edward
>
> On Sat, Nov 24, 2012 at 4:38 AM, Ganesh Sittampalam <ganesh at earth.li>wrote:
>
>> On 20/11/2012 16:59, Yitzchak Gale wrote:
>>
>> >  infixl 1 &
>> >  (&) :: a -> (a -> b) -> b
>> >  a & f = f a
>> >  {-# INLINE (&) #-}
>> >
>> > Discussion period: 2 weeks
>> >
>> > http://hackage.haskell.org/trac/ghc/ticket/7434
>>
>> -1 for &, for me it's too unintuitive and different from any other
>> language.
>>
>> I'd be +1 for |> but perhaps that's just because I do a lot of F#. I'd
>> be ok with # too but perhaps MagicHash is an obstacle there.
>>
>> Ganesh
>>
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://www.haskell.org/mailman/listinfo/libraries
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20121201/68aa00f5/attachment-0001.htm>


More information about the Libraries mailing list