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@haskell.org> On Behalf Of Joachim Breitner | Sent: 09 March 2021 07:59 | To: ghc-steering-committee <ghc-steering-committee@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@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@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