I haven't been convinced yet. As I said in my previous email, I'm a priori against this proposal. But this is a gut feeling. More importantly than that, I don't feel that we have documented how other communities handle this. I also don't feel that the number of unimplemented proposals is so high as to be a problem. On Mon, Sep 19, 2022 at 7:42 PM Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,
also in light of the discussion at Haskell Symposium, can we proceed with this (or drop this)? Arnaud was most vocally in the “against” camp; are you still against it?
NB: Opening PRs and discussing them with the general public is welcome even before implementors have been found, and committee members can of course join that discussion. Only the formal committee submission would be blocked until implementors have been found.
Cheers, Joachim
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee