August 2022 - ghc-steering-committee

GHC Steering Committee Status
by Joachim Breitner 19 Aug '22

19 Aug '22

Dear Committee, let’s do another bimonthly status update . It seems that the last two months were quite quiet on the mailing list, but we did get a bunch of new submissions. Time to get active again! So what has happened since the last one? * PSA: You make my life when preparing these reports easier if every state change comes with a (small) email to the list. In particular sending a proposal back for revision is often not noted on the list. * we were asked to review these proposals: #511 Deep Subsumption, Shephard: Arnaud #330 Decorate exceptions with backtrace information, Shepherd: Vladislav #518 Type vs Constraint proposal, Shepherd: Eric #515 Relaxing HasField constraints, Shepherd: Tom #517 Require implementors before proposal submission, Shepherd: Simon PJ #522 Or Patterns, Shepherd: Richard #516 Introduce `-Wincomplete-record-selectors`, Shepherd: Eric * I reassigned the following proposal #500: Add implicit import proposal, New Shepherd: Simon M. * we have a recommendation from the shepherd about: #518 Type vs Constraint proposal (accept) #517 Require implementors before proposal submission (accept) #515 Relaxing HasField constraints (accept) #511 Deep Subsumption (accept) * we have sent the following proposals back to revision #330 Decorate exceptions with backtrace information #473: First-class existential types #454: Custom type warnings * we decided about the following proposals #448 Modern Scoped Type Variables (accept) #518 Type vs Constraint proposal (accept) (merge still pending a ✓ from Richard) #496 Nothing {} (acccept) #511 Deep Subsumption (accept) We currently have to act on the following 6 proposals, same number as last time. ## Waiting for committee decision #515 Relaxing HasField constraints 2022-08-01: Assigned to Tom 2022-08-10: Tom suggests acceptance No comments so far. Please voice your opinions! #517: Require implementors before proposal submission, Shepherd Simon 2022-08-01: Assigned to Simon 2022-08-05: Simon suggests acceptance Only supporting comments so far. ## Waiting for Shepherd action #270: Support pun-free code, Shepherd: Chris 2022-01-01: Assigned to Chris Chris, kindly please leap into action! #500: Add implicit import proposal, Shepherd: Baldur 2022-05-05: Assignd to Baldur 2022-08-01: Re-assignd to Simon #522: Or Patterns 2022-08-08: Assigned to Richard #516: Introduce `-Wincomplete-record-selectors`, Shepherd: Eric 2022-08-14: Assigned to Eric Cheers, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

2 1

Please review #522: Or Patterns, Shepherd: Richard
by Joachim Breitner 08 Aug '22

08 Aug '22

Dear Committee, Or Patterns have been submitted by David Knothe, Ömer Sinan Ağacan, Sebastian Graf https://github.com/ghc-proposals/ghc-proposals/pull/522 https://github.com/knothed/ghc-proposals/blob/master/proposals/0522-or-patt… It even lists implementors, in what we’d call vorauseilender Gehorsam in German! I suggest that Richard shepherds this proposal. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

How I pick shepherds
by Joachim Breitner 02 Aug '22

02 Aug '22

Hi committee, I’m back, and I _think_ I have caught up on committee work. If you expected me to do something when back and I have not done it yet, I probably forgot and will appreciate a nudge. Richard writes > While I'm happy to take over some of his responsibilities, I don't > have access to the proposal-assigning algorithm. (I can view the > current state of who has open proposals, but I don't have easy access > to e.g. the recent history to accomplish load-balancing.) and I have to disappoint you: there isn’t much of an algorithm there. It’s all manual and very subjective. Here is what I do to assign a proposal: I open these three links (all linked from the beginning of the README) to remind myself of who is actually on the committee, and who is already shepherding a proposal: https://github.com/ghc-proposals/ghc-proposals#who-is-the-committee https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+la… https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+la… This way I see who is currently not shepherding. I recently added the profile pictures to the Who-is-the-committee section to make that part easier. Then I just pick someone, keeping in mind what I believe is the person’s interest and strength. If someone has already commented on a proposal, they are more likely to become shepherd. I avoid assigning to Chairs unless I have a good reason to. Intuitively, some members are more, well, efficient, others are particularly thorough; I try to keep that in mind as I assign small, large, deep, superficial proposals. And that’s it. I once wrote some code¹ to run statistics on the proposal project to help me pick shepherds, but it is very slow and I haven't been using it in a long time. It’s not a great way to assign shepherds. Here is a better way: All committee members tend to have an eye on incoming proposals and engage early with those that they care about, and voluntarily say that they _want_ to shepherd a particular proposal, so when it is submitted, I don't have to make any more arbitrary choices :-) Cheers, Joachim ¹ https://github.com/nomeata/ghc-proposals-stats -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

2 1

Please review #515: Relaxing HasField constraints, Shepherd: Tom
by Joachim Breitner 01 Aug '22

01 Aug '22

Dear Committee, Relaxing HasField constraints has been submitted by Ollie Charles https://github.com/ghc-proposals/ghc-proposals/pull/515 https://github.com/ocharles/ghc-proposals/blob/hasfield/proposals/0000-hasf… I suggest that Tom shepherds this proposal. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0