<div dir="ltr"><div>It seems that people like the idea, 300 out of 400 respondents gave a "yes!", with around 100 saying it's a good idea or not caring.</div><div><br></div><div>If we did some meta-PR, I would prefer to simply discuss Joachim's and Richard's proposals. I've been convinced that discussing per-extension would result in endless pain, and I am in favour of making the Committee "seed" the process with the list of extensions. Any other source of information (polls, stats) should be considered, but I agree with Joachim that some extensions may not be used that much, but pose a very low barrier, and thus should be accepted. I don't think that would be a problem, I trust ourselves not making crazy decisions.</div><div><br></div><div>What do the rest of the Committee think?</div><div><br></div><div>Alejandro<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El lun., 19 oct. 2020 a las 17:05, Joachim Breitner (<<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
Am Montag, den 19.10.2020, 14:07 +0000 schrieb Richard Eisenberg:<br>
> * This counter-counter-proposal is meant to combine what I see are<br>
> the best qualities of both proposals: the structure in Alejandro's<br>
> (Joachim's suggests just debating about extensions over email, which<br>
> causes me to shudder in horror, even if the discussion is just among<br>
> committee members), with the committee-seeding from Joachim's.<br>
<br>
My proposal is mis-phrased: I suggest _not_ debating. I want GHC2021 to<br>
contain only uncontroversial extensions. If debating flares up about a<br>
specific extension, that’s already a clear sign that the extension<br>
should not make it _this round_, which settles that very discussion.<br>
<br>
<br>
If at any point a committee member feels like strongly arguing in favor<br>
of an extension that does not already have a majority with more<br>
emphasis than just “here are some good points you might have missed”,<br>
then such an extension is not uncontroversial, and would simply be<br>
voted out. I expect us from refraining from strongly and verbosely<br>
arguing for an individual extension, and thus no discussion ensues.<br>
<br>
<br>
If at any point a committee member feels like strongly arguing against <br>
an extension that does already have a majority, then I expect that at<br>
least three other members will take that as “clearly not<br>
uncontroversial”, remove it from their vote, and make any further<br>
discussion not needed.<br>
<br>
<br>
<br>
I think it is wrong to think the decision “Should Foo be part of<br>
GHC20201” needs the same level of rigor as “should Foo exist”.<br>
<br>
In the latter case, if we say no, somebody is unhappy because they<br>
can’t use a feature they care about. So we really need the detailed<br>
discussion, and refinement etc. So yay for PRs.<br>
<br>
In the former case, if we say no, it’s no big deal, people will have to<br>
continue saying {-# LANGUAGE Foo #-} for a few more years. This does<br>
not hurt anyone!<br>
<br>
<br>
And therefore, I strongly advise against any heavy per-extension<br>
discussion process.<br>
<br>
<br>
> We'll all edit the meta-proposal as need-be, with the expectation<br>
> that we friends do not clobber each other's work. Seems simpler than<br>
> having the conversation spread among multiple PRs.<br>
<br>
That’s a good point; we can have options in one PR and still do ranked<br>
voting.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>