[ghc-steering-committee] Please review #378: Support ergonomic dependent types, Shepherd: Simon PJ
Simon Peyton Jones
simonpj at microsoft.com
Tue Mar 9 09:32:15 UTC 2021
OK. I expect to recommend acceptance, but I'm encouraging Richard to sharpen
up the proposal a bit first.
Simon
| -----Original Message-----
| From: ghc-steering-committee <ghc-steering-committee-
| bounces at haskell.org> On Behalf Of Joachim Breitner
| Sent: 09 March 2021 07:59
| To: ghc-steering-committee <ghc-steering-committee at haskell.org>
| Subject: [ghc-steering-committee] Please review #378: Support
| ergonomic dependent types, Shepherd: Simon PJ
|
| Dear Committe,
|
| Support ergonomic dependent types
| has been proposed by Richard Eisenberg
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
| ub.com%2Fghc-proposals%2Fghc-
| proposals%2Fpull%2F378&data=04%7C01%7Csimonpj%40microsoft.com%7C00
| a4caf0e0ef47088ece08d8e2d138f8%7C72f988bf86f141af91ab2d7cd011db47%7C1%
| 7C0%7C637508735553069267%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiL
| CJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=0Zmcel%
| 2BF0alE2edi11tYc1j3hQgPj59YM%2BSiheV5HKg%3D&reserved=0
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
| ub.com%2Fgoldfirere%2Fghc-proposals%2Fblob%2Fdependent-
| types%2Fproposals%2F0000-dependent-type-
| design.rst&data=04%7C01%7Csimonpj%40microsoft.com%7C00a4caf0e0ef47
| 088ece08d8e2d138f8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637508
| 735553079263%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luM
| zIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=fCxgBPggy37Toqff7O3
| %2BU3MfmNu%2Bq2EuINfGwn3mXtk%3D&reserved=0
|
| This is a meta-proposal, aimed at refining our criteria when
| evaluating proposals, and wants us to confirm that we take
| compatibility with a future world where Haskell gains more dependently
| typed features into account, and welcome changes that we would likely
| reject if we did not expect to move towards that future.
| (My rephrasing, please have a look at least at "Motivation" and
| "Proposed Change Specification").
|
| We might need more of a Moderator than a Shepherd here... I propose that
| Simon PJ leads us to a decision here. I know that Simon has a strong
| opinion on this already and might not be a "neutral moderator". But
| opinions are not a bad thing per se, and I think this questions
| requires Chair-level involvement.
|
|
|
| Please guide us to a conclusion as outlined in
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
| ub.com%2Fghc-proposals%2Fghc-proposals%23committee-
| process&data=04%7C01%7Csimonpj%40microsoft.com%7C00a4caf0e0ef47088
| ece08d8e2d138f8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637508735
| 553079263%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIi
| LCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=VQIMqyjGBspDti%2Bx%2FF
| eb24SUehXLbblJc2aXJF2YQU8%3D&reserved=0
|
| Thanks,
| Joachim
| --
| --
| Joachim Breitner
| mail at joachim-breitner.de
|
| https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j
| oachim-
| breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C00a4caf0e0
| ef47088ece08d8e2d138f8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63
| 7508735553079263%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV
| 2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=%2B9wLNVuFC718I
| Xi4GFuoI8DQ8CEpo%2F6oNHG5xDweftE%3D&reserved=0
|
|
| _______________________________________________
| ghc-steering-committee mailing list
| ghc-steering-committee at haskell.org
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail
| .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
| committee&data=04%7C01%7Csimonpj%40microsoft.com%7C00a4caf0e0ef470
| 88ece08d8e2d138f8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6375087
| 35553079263%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=EGd2zHc79e9JH1POn%2F
| rWmF%2Ft154dPDHwDMAFS%2FsPUI4%3D&reserved=0
More information about the ghc-steering-committee
mailing list