<div dir="ltr"><div>Good for me.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 16 May 2024 at 14:43, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>> wrote:<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 dir="ltr"><blockquote class="gmail_default gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
The proposal does call out some extensions as experimental, but does not
list LT although to me it’s one of the most prominent examples</blockquote><div><span class="gmail_default" style="font-family:tahoma,sans-serif"></span></div><div><span class="gmail_default" style="font-family:tahoma,sans-serif">It specifically says that any extensions mentioned are examples only. A <a href="https://github.com/ghc-proposals/ghc-proposals/discussions/635" target="_blank">separate proposal </a>is for deciding which extension is in which category.</span></div><div><span class="gmail_default" style="font-family:tahoma,sans-serif"><br></span></div><div><span class="gmail_default" style="font-family:tahoma,sans-serif">So this proposal does not, in itself, do any categorisation whatsoever.<br></span></div><div><span class="gmail_default" style="font-family:tahoma,sans-serif"><br></span></div><div><span class="gmail_default" style="font-family:tahoma,sans-serif">Simon</span></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 16 May 2024 at 13:36, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com" target="_blank">moritz.angermann@gmail.com</a>> wrote:<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><div dir="auto">I am in support of this proposal. I do not believe that beating this any further will result in any meaningful improvement. As I’ve learned in other discussions the word Experimental means different things to different people. The proposal does call out some extensions as experimental, but does not list LT although to me it’s one of the most prominent examples.</div><div dir="auto"><br></div><div dir="auto">In any case having some guiding flow around extensions is a step in the right direction in my opinion.</div><div dir="auto"><br></div><div dir="auto">Best,</div><div dir="auto"> Moritz</div></div><div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 16 May 2024 at 8:04 PM, Eric Seidel <<a href="mailto:eric@seidel.io" target="_blank">eric@seidel.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I support this proposal. <br>
<br>
Sent from my iPhone<br>
<br>
> On May 16, 2024, at 05:08, Adam Gundry <<a href="mailto:adam@well-typed.com" target="_blank">adam@well-typed.com</a>> wrote:<br>
> <br>
> I'm in favour. (And I'm willing to work on the necessary follow-up proposal to apply the categorisation to specific extensions.)<br>
> <br>
> Cheers,<br>
> <br>
> Adam<br>
> <br>
> <br>
>> On 16/05/2024 09:27, Simon Peyton Jones wrote:<br>
>> Dear GHC Steering Committee<br>
>> Trevis Elser has submitted GHC Proposal #601 <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/601" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/601</a>>to us for consideration. (It was originally drafted by David Christiansen, but Trevis took it over.)<br>
>> It proposes that that we classify extensions into four categories:<br>
>> * Stable<br>
>> * Experimental<br>
>> * Deprecated<br>
>> * Legacy<br>
>> It does not say which extensions are in which category (that's #635, still to come); it simply establishes the categories.<br>
>> *I strongly urge you to accept the proposal*. We have been using this language informally for years, and it's good to nail it down more precisely.<br>
>> There is plenty of discussion on the PR, but it's all about the specifics (e.g. do we want both Deprecated and Legacy; answer, yes). There seems to be a strong consensus around the principle.<br>
>> I don't expect this to be controversial. Please (everyone) can you respond within a week, by *end of day on Thursday 23 May. *Can you<br>
>> * Reply by email<br>
>> * Update the spreadsheet<br>
>> <<a href="https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing" rel="noreferrer" target="_blank">https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing</a>>with your vote<br>
>> Thanks!<br>
>> Simon<br>
> <br>
> --<br>
> Adam Gundry, Haskell Consultant<br>
> Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
> <br>
> Registered in England & Wales, OC335890<br>
> 27 Old Gloucester Street, London WC1N 3AX, England<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>
<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></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>
_______________________________________________<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><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>