Remove eq and show from num class

Fri Sep 8 08:47:08 UTC 2017

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 at haskell.org] On Behalf
| Of Herbert Valerio Riedel
| Sent: 08 September 2017 09:43
| To: Anthony Clayden <anthony_clayden at clear.net.nz>
| Cc: haskell-prime at 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 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://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwiki.has
| kell.org%2FCore_Libraries_Committee&data=02%7C01%7Csimonpj%40microsoft.co
| m%7Ca13a8633ae3c436a9deb08d4f695bee5%7C72f988bf86f141af91ab2d7cd011db47%7
| C1%7C0%7C636404570444220789&sdata=wQ%2B6bfpKtDPUmnxa54FWVDiq%2F3H7eVfnkGF
| kW4s82Ns%3D&reserved=0
| 
| 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://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c
| om%2Fhaskell%2Fpvp&data=02%7C01%7Csimonpj%40microsoft.com%7Ca13a8633ae3c4
| 36a9deb08d4f695bee5%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63640457
| 0444220789&sdata=uI0uVdaGjBLmNrlUqdrPeO7g6%2B4isWj8w1Qi3CDHIIU%3D&reserve
| d=0 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://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwiki.has
| kell.org%2FHaskell.org_committee&data=02%7C01%7Csimonpj%40microsoft.com%7
| Ca13a8633ae3c436a9deb08d4f695bee5%7C72f988bf86f141af91ab2d7cd011db47%7C1%
| 7C0%7C636404570444220789&sdata=7yZv2psUaTehR%2FsiCtNY0n1AXzrGcHXrUKoDxeeV
| HyY%3D&reserved=0
| 
| ### The Haskell.org Website Working Group (HWWG)
| 
|  -
| https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c
| om%2Fndmitchell%2Fhwwg&data=02%7C01%7Csimonpj%40microsoft.com%7Ca13a8633a
| e3c436a9deb08d4f695bee5%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6364
| 04570444220789&sdata=cKoBAcJdILupv2mlkwvHuSCx1lwdwIimCi3%2BTujuSHo%3D&res
| erved=0
| 
| ### Haskell Ecosystem Proposals
| 
|  -
| https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c
| om%2Fhaskell%2Fecosystem-
| proposals&data=02%7C01%7Csimonpj%40microsoft.com%7Ca13a8633ae3c436a9deb08
| d4f695bee5%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63640457044422078
| 9&sdata=XW3ojdp3kjN8wB%2FhOzeWSi6T2UKYaH2M9u8YaSWzeGQ%3D&reserved=0
| 
| ### Industrial Haskell Group
| 
|  -
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Findustry.
| haskell.org&data=02%7C01%7Csimonpj%40microsoft.com%7Ca13a8633ae3c436a9deb
| 08d4f695bee5%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636404570444220
| 789&sdata=tmFLIQlxl%2Bs9HFSS2d6qLV3MKGjjToLDnskN99yGYKg%3D&reserved=0
| 
| ### Commercial Haskell Group
| 
|  -
| https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c
| om%2Fcommercialhaskell%2Fcommercialhaskell&data=02%7C01%7Csimonpj%40micro
| soft.com%7Ca13a8633ae3c436a9deb08d4f695bee5%7C72f988bf86f141af91ab2d7cd01
| 1db47%7C1%7C0%7C636404570444220789&sdata=%2F44igZz%2BRNReXD9vYllze0alzxI0
| r1BXOGkWvGZoxjM%3D&reserved=0
| 
| 
| HTH,
|   HVR
| _______________________________________________
| Haskell-prime mailing list
| Haskell-prime at haskell.org
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask
| ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fhaskell-
| prime&data=02%7C01%7Csimonpj%40microsoft.com%7Ca13a8633ae3c436a9deb08d4f6
| 95bee5%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636404570444220789&sd
| ata=O629fxiUjQGNCt8l%2BhZ5YaaF7gYC09ilo4J1fEmi%2BKo%3D&reserved=0