[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