I fully agree with Edward here. This change to Num has been a positive one.
It also seemed fairly uncontroversial as far as Prelude changes go - many
people wanted to see that change for years. While it caused a handful of
hiccups when it happened, it was generally easy enough to fix code to
On Sun, Sep 10, 2017 at 4:48 AM, Anthony Clayden <
anthony_clay...@clear.net.nz> wrote:
> > On Fri Sep 8 15:58:10 UTC 2017, Carter Schonwald wrote:
> >
> > I mostly wanted to confirm that we in fact will actually
> say yes
> > before doing the formal writtingup :)
>
> Seriously -- and please stop
> On Fri Sep 8 15:58:10 UTC 2017, Carter Schonwald wrote:
>
> I mostly wanted to confirm that we in fact will actually
say yes
> before doing the formal writtingup :)
Seriously -- and please stop using smileys:
you're right to be cautious.
You need to rewrite the whole of Section 6.4
(nearly 5
2017-09-08 10:43 GMT+02:00 Herbert Valerio Riedel :
> [...] Moreover, the CLC together with the Hackage Trustees also maintains
> the
> https://github.com/haskell/pvp specification which is integral to the
> way Hackage and the Cabal solver interact. [...]
>
Although I'm
> "CS" == Carter Schonwald writes:
CS> I mostly wanted to confirm that we in fact will actually say yes before
CS> doing the formal writtingup :)
Ah, I actually misread the English sentence! I though it said "all yays from
committee members", and that it was
On 2017-09-08 13:55, Anthony Clayden wrote:
>> This has been how it is in GHC for a long time now,
>> so it really is a matter for the Haskell' committee
>> rather than one of the GHC committees.
>
> MPTCs, GADTs (for example) have been in GHC
> far longer.
AFAIUI these are far from trivial to
I mostly wanted to confirm that we in fact will actually say yes before
doing the formal writtingup :)
On Fri, Sep 8, 2017 at 2:06 PM, John Wiegley wrote:
> > "AC" == Anthony Clayden writes:
>
> AC> All yays from committee members please
> "AC" == Anthony Clayden writes:
AC> All yays from committee members please reply with yes to this email :)
Just to note: I don't recall their being an actual "vote" on this during our
informal meeting of just a few of the committee members here at ICFP, so I
> On 8 Sep 2017 at 07:54 Nathan van Doorm wrote:
Thank you Nathan and Mario for your explanations.
> The motivation is that there are many types with sensible
> definitions for addition and multiplication etc that can't
> be instances of Eq or Show, for example functions to
> numbers (allowing
> On 2017-09-08 at 08:43 AM, Herbert RIedel wrote:
Thank you Herbert for the explanation.
>> On 2017-09-08 at 09:19:54 +0200, Anthony Clayden wrote:
>
> [...]
>
> I can see how the proliferation of committees & github
> repos may seem confusing to casual observers, ...
Not that so much. I
Clayden <anthony_clay...@clear.net.nz>
| Cc: haskell-prime@haskell.org
| Subject: Re: Remove eq and show from num class
|
| On 2017-09-08 at 09:19:54 +0200, Anthony Clayden wrote:
|
| [...]
|
| > If this is to the committee, shouldn't it be on the committee list?
| > (I mean
On 2017-09-08 at 09:19:54 +0200, Anthony Clayden wrote:
[...]
> If this is to the committee, shouldn't it be on the committee list?
> (I mean ghc-steering-committee.)
> Or is there some other committee? I thought the Haskell-prime forum
> and process was dead/replaced by the github proposals
Anthony, this proposal is to remove the Eq and Show constraints from the
Num class. Specific instances of Num, like Int and Float, will still have
those instances. This has been how it is in GHC for a long time now, so it
really is a matter for the Haskell' committee rather than one of the GHC
On Fri, Sep 8, 2017 at 3:19 AM, Anthony Clayden <
anthony_clay...@clear.net.nz> wrote:
> I'm baffled. Is this some sort of 'in' joke at ICFP?
> Then remember the rest of the world can see this list.
>
> > All yays from committee members please reply with yes to
> this email :)
>
> If this is to
I'm baffled. Is this some sort of 'in' joke at ICFP?
Then remember the rest of the world can see this list.
> All yays from committee members please reply with yes to
this email :)
If this is to the committee, shouldn't it be on the
committee list?
(I mean ghc-steering-committee.)
Or is there
On 09/08/2017 12:45 AM, Carter Schonwald wrote:
please say yes or no. its quite easy with email . i'm not going to write
that little proposal if folks wont accept it :)
I'd love to see those constraints go. But it is important that the full
ramifications are clearly articulated.
Best,
well sure, i'm happy to write the 3 line diff, but because of the sheer
unambiguity of this i'd rather get the votes on email before botthering to
write the diff, at which point the main question is whether i wrote the
diff correctly
please say yes or no. its quite easy with email . i'm not
Sending to the mailing list instead of to Herbert alone...
On Thu, Sep 7, 2017 at 2:20 PM, Herbert Valerio Riedel
wrote:
Hello!
>
> On 2017-09-07 at 18:16:39 +0200, Mario Blazevic wrote:
> >> Btw, here's an old commit which updates the class diagram to this
> >> effect for
On Thu, Sep 7, 2017 at 6:20 PM, Richard Eisenberg
wrote:
> I don't mean to be a killjoy, but I think even something as simple as this
> should have a proposal. We still have to draft the changes to the Report
> associated with this change, and at least one is non-obvious:
I don't mean to be a killjoy, but I think even something as simple as this
should have a proposal. We still have to draft the changes to the Report
associated with this change, and at least one is non-obvious: now numeric
literals induce an Eq constraint (which should be mentioned). I'm
Hello!
On 2017-09-07 at 18:16:39 +0200, Mario Blazevic wrote:
>> Btw, here's an old commit which updates the class diagram to this
>> effect for the report:
>>
>> https://github.com/hvr/haskell-report/commit/
>> 339ea257ee8b0451fbba388480566efac6ecbbd3
>>
> Ha, I wasn't aware of that repository.
If you don't do it, the Report will just be inaccurate.
On Thu, 7 Sep 2017 at 11:43 Carter Schonwald
wrote:
> All yays from committee members please reply with yes to this email :)
>
> -Carter
> ___
> Haskell-prime mailing
All yays from committee members please reply with yes to this email :)
-Carter
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
23 matches
Mail list logo