<div dir="ltr">I think that the ability to discuss every proposed extension within the broad community may become not a very effective thing actually. It seems that many extensions could become controversial under Alternative 2 thus making the overall result too shallow. By the way, does anyone expect abuse of the process?<div><br></div><div>I prefer Alternative 1 for this reason though organizing a place for an in-committee debate in the spirit of Alternative 2 looks appealing.</div><div><br></div><div>Regards, </div><div>Vitaly <br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">ср, 4 нояб. 2020 г. в 17:39, Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;">As the proponent for Alternative 2: the main goal of Alternative 2 is to create an organized place for debating individual extensions. In a perfect world, I'd prefer Alternative 1, for its simplicity. However, I have a hard time believing we'll get through this process without significant debate, and I worry that Alternative 1 provides no organization for that debate, and so it will end up sprawling over other discussions.<div><br></div><div>I'm not wedded to any details in Alternative 2, just advocating for some imposed organization.</div><div><br></div><div>Thanks,</div><div>Richard<br><div><br><blockquote type="cite"><div>On Nov 4, 2020, at 8:38 AM, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> wrote:</div><br><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">Friends<u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">We are asked to consider<span> </span><a href="https://github.com/ghc-proposals/ghc-proposals/pull/372" style="color:rgb(5,99,193);text-decoration:underline" target="_blank">Proposal 371: the GHC 20xx process</a><u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">We have discussed it quite a bit already and I recommend acceptance.<u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">It includes “Alternative1” and “Alternative2” at one point. I found Alternative 2 hard to parse (seemed very process-heavy), so I favour Alternative 1 which seemed simpler.<u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">Please respond within the next week or two, either on the discussion thread, or to this email.<u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">Thanks<u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif">Simon<u></u><u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></p><p class="MsoNormal" style="margin:6pt 0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></p></div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">_______________________________________________</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">ghc-steering-committee mailing list</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><a href="mailto:ghc-steering-committee@haskell.org" style="color:rgb(5,99,193);text-decoration:underline;font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">ghc-steering-committee@haskell.org</a><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" style="color:rgb(5,99,193);text-decoration:underline;font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a></div></blockquote></div><br></div></div>_______________________________________________<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>