Re: Remove eq and show from num class

All yays from committee members please reply with yes to
I'm baffled. Is this some sort of 'in' joke at ICFP? Then remember the rest of the world can see this list. this email :) 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 process? If there is a serious proposal, please explain what it is and what is the motivation. At risk of me sounding like a complete dork: I find it rather useful that I can compare numbers for equality and show them. (That is, without having to write my own instances.) AntC

On Fri, Sep 8, 2017 at 3:19 AM, Anthony Clayden < anthony_clayden@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 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 process?
It's complementary to the GitHub repo. It seemed easier to discuss general things via e-mail. At risk of me sounding like a complete dork: I find it
rather useful that I can compare numbers for equality and show them. (That is, without having to write my own instances.)
All the standard instances of Num do have instances for Eq, Ord, and other usual classes. If you mean that you're comparing a parametric Num a => a, you'll be disappointed when you upgrade to GHC 7.4.1: https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/release-7-4-1...

All yays from committee members please reply with yes to
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
committees.
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 us to write "sin + cos" instead of
"\x -> sin x + cos X") or arbitrary real numbers (where comparison isn't
necessarily computable).
I'm not sure why this is being discussed on the mailing list rather than
the Github proposals thing, but I do know that that has grown somewhat
inactive and this is as good as anything for getting the Haskell' committee
to make a final judgement.
Nathan
On 8 Sep 2017 8:35 am, "Anthony Clayden"

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 process?
I can see how the proliferation of committees & github repos may seem confusing to casual observers, so let me provide a quick overview which hopefully doesn't worsen the confusion... :-) ## Haskell Core Library Committee - https://wiki.haskell.org/Core_Libraries_Committee Basically, the core library committee oversees decisions of what happens with core libraries such as `base` which includes the API defined by the Haskell library report. However, the Eq/Show=>Num superclass removal proposal (https://mail.haskell.org/pipermail/libraries/2011-September/016712.html), however predates the core libraries committee's existence (the CLC was originally formed sometime around 2013 to design and manage big changes such as the implementation of the Functor/Applicative/Monad proposal -- for which there was big community support but lack of leadership was preventing its implementation). 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. ## Haskell Language Committee (aka Haskell Prime Committee) - https://mail.haskell.org/pipermail/haskell-prime/2016-April/004050.html So this committee's incarnation has just been formed last year; it's a bit too early to declare it dead. ## GHC Steering Committee - https://ghc.haskell.org/trac/ghc/wiki/SteeringCommittee This is mostly about user-facing changes to GHC and was created shortly after the prime committee's formation was announced. It surely wasn't intended to replace the prime committee, but was rather formed as a reaction to complaints about GHC's governance, you can read up about its intent at - https://ghc.haskell.org/trac/ghc/blog/rethinking-proposals Not all changes are even relevant to the Haskell Report (like e.g. warning flags); but Report-relevant changes may start their life-cycle as GHC extensions to get some empirical field-testing, and if desirable to later be promoted to Haskell Prime proposals subject to the Prime process. ## Other Committees For completeness, here's a few other Haskell-related committees and/or working-group like processes OTTOMH: ### Haskell.org committee - https://wiki.haskell.org/Haskell.org_committee ### The Haskell.org Website Working Group (HWWG) - https://github.com/ndmitchell/hwwg ### Haskell Ecosystem Proposals - https://github.com/haskell/ecosystem-proposals ### Industrial Haskell Group - http://industry.haskell.org ### Commercial Haskell Group - https://github.com/commercialhaskell/commercialhaskell HTH, HVR

Good summary Herbert. It'd be great to have it as a page on haskell.org, rather than just in soon-lost email.
Simon
| -----Original Message-----
| From: Haskell-prime [mailto:haskell-prime-bounces@haskell.org] On Behalf
| Of Herbert Valerio Riedel
| Sent: 08 September 2017 09:43
| To: Anthony Clayden

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 actively following quite a few Haskell-related mailing lists and maintain various Haskell packages, this is the first time in my life that I've heard of https://pvp.haskell.org/. It would be good to improve communication about such central pieces of information... :-/ Don't get me wrong: The page itself is great, as are other pages/repos/mailing lists, but the overall organization of information leaves a lot to be desired IMHO. Cheers, S.

"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 took Carter's note to be a sign of enthusiasm, and not actual procedural decision making. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

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
"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 took Carter's note to be a sign of enthusiasm, and not actual procedural decision making.
-- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

"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 then asking people to simply affirm the vote. I should have read, "everyone who agrees, say yay". :) -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
participants (8)
-
Anthony Clayden
-
Carter Schonwald
-
Herbert Valerio Riedel
-
John Wiegley
-
Mario Blazevic
-
Nathan van Doorn
-
Simon Peyton Jones
-
Sven Panne