<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I've posted on the proposal. I won't stand in the way of a proposal that has generated positive feedback such as this one, but I worry we've missed the head of the nail here by a little bit. And adopting this proposal has a very real cost, in that it adds another layer of bureaucracy for Haskellers.<div class=""><br class=""></div><div class="">Richard<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 25, 2023, at 3:39 AM, Arnaud Spiwack <<a href="mailto:arnaud.spiwack@tweag.io" class="">arnaud.spiwack@tweag.io</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">I'm rather agnostic on the proposal. I'm actually not convinced it solves a real problem for users (though I can see how this categorisation would inform our stance on backward compatibility, so it can be very useful for us steering committee), on the other hand, the proposal seems to be received with a lot of enthusiasm.</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 24 Aug 2023 at 22:21, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" class="">mail@joachim-breitner.de</a>> wrote:<br class=""></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 class="">
<br class="">
I am lukewarm on the proposal. Of course it would be nice to have such<br class="">
clear signal. But it’s going to be a lot of work to categorize all<br class="">
extensions initially, and then update this categorization as we go.<br class="">
Given that even defining a subset of “very stable and mature” (AKA<br class="">
GHC20xx) is something that was quite some effort, I am not fully<br class="">
optimistic that we’ll be able to deliver.<br class="">
<br class="">
But we can at least say we’d like to try, and then see how the<br class="">
categorization goes, so yea from me.<br class="">
<br class="">
Cheers,<br class="">
Joachim<br class="">
<br class="">
<br class="">
<br class="">
Am Donnerstag, dem 24.08.2023 um 16:42 +0100 schrieb Simon Peyton<br class="">
Jones:<br class="">
> Dear GHC steering committee<br class="">
> <br class="">
> A month ago I wrote to you concerning GHC Proposal 601 about GHC<br class="">
> extensions.<br class="">
> <br class="">
> > We propose a categorization scheme for Haskell language extensions.<br class="">
> > This scheme is simple, in that there are few categories that are<br class="">
> > described in terms of the user-relevant aspects, and it is<br class="">
> > actionable, in that it suggests concrete changes to the warning<br class="">
> > system of GHC that allow users to express their own risk tolerance<br class="">
> > and get guidance as they upgrade their compiler <br class="">
> > <br class="">
> <br class="">
> <br class="">
> It's holiday time I know, but still, I did not get a single reply. <br class="">
> Is that because you all love it or you all hate it? RSVP!<br class="">
> <br class="">
> I propose acceptance, modulo a few clarifications which I have posted<br class="">
> on the discussion thread.<br class="">
> <br class="">
> Please reply, yea or nay.<br class="">
> <br class="">
> Simon<br class="">
> <br class="">
> On Tue, 25 Jul 2023 at 15:58, Simon Peyton Jones<br class="">
> <<a href="mailto:simon.peytonjones@gmail.com" target="_blank" class="">simon.peytonjones@gmail.com</a>> wrote:<br class="">
> > Dear GHC Steering Committee<br class="">
> > <br class="">
> > Proposal #601 says <br class="">
> > <br class="">
> > We propose a categorization scheme for Haskell language extensions.<br class="">
> > This scheme is simple, in that there are few categories that are<br class="">
> > described in terms of the user-relevant aspects, and it is<br class="">
> > actionable, in that it suggests concrete changes to the warning<br class="">
> > system of GHC that allow users to express their own risk tolerance<br class="">
> > and get guidance as they upgrade their compiler <br class="">
> > <br class="">
> > I'm happy with this proposal: it seems simple, comprehensible, and<br class="">
> > actionable. <br class="">
> > <br class="">
> > The only question in my mind is whether it is worth the bother. <br class="">
> > I'd love to hear from the practitioners on the committee.<br class="">
> > <br class="">
> > But I propose that we accept it.<br class="">
> > <br class="">
> > Simon<br class="">
> > <br class="">
> > <br class="">
> > On Mon, 24 Jul 2023 at 14:39, Joachim Breitner<br class="">
> > <<a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a>> wrote:<br class="">
> > > Dear Committee,<br class="">
> > > <br class="">
> > > David Thrane Christiansen suggested to categorize extensions into<br class="">
> > > Experimental, Mature, Deprecated and Legacy, and add warning flag<br class="">
> > > to<br class="">
> > > GHC that allow users to be warned about (or shouted at for) using<br class="">
> > > such<br class="">
> > > extensions, if they choose so.<br class="">
> > > <br class="">
> > > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/601" rel="noreferrer" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals/pull/601</a><br class="">
> > > <a href="https://github.com/david-christiansen/ghc-proposals/blob/extension-lifecycle-proposal/proposals/0000-extension-lifecycle-framework.md" rel="noreferrer" target="_blank" class="">https://github.com/david-christiansen/ghc-proposals/blob/extension-lifecycle-proposal/proposals/0000-extension-lifecycle-framework.md</a><br class="">
> > > <br class="">
> > > Because of the meta-like aspect of this proposal, I’d like to<br class="">
> > > assign<br class="">
> > > this to Simon PJ.<br class="">
> > > <br class="">
> > > <br class="">
> > > Please guide us to a conclusion as outlined in <br class="">
> > > <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank" class="">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br class="">
> > > <br class="">
> > > <br class="">
> > > Cheers,<br class="">
> > > Joachim<br class="">
> > > <br class="">
> > > <br class="">
> > > _______________________________________________<br class="">
> > > ghc-steering-committee mailing list<br class="">
> > > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
> > > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
<br class="">
-- <br class="">
Joachim Breitner<br class="">
<a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a><br class="">
<a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank" class="">http://www.joachim-breitner.de/</a><br class="">
<br class="">
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</blockquote></div><br clear="all" class=""><br class=""><span class="gmail_signature_prefix">-- </span><br class=""><div dir="ltr" class="gmail_signature"><div dir="ltr" class="">Arnaud Spiwack<br class="">Director, Research at <a href="https://moduscreate.com/" rel="noopener noreferrer" target="_blank" class="">https://moduscreate.com</a> and <a href="https://tweag.io/" rel="noopener noreferrer" target="_blank" class="">https://tweag.io</a>.</div></div>
_______________________________________________<br class="">ghc-steering-committee mailing list<br class=""><a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a><br class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br class=""></div></blockquote></div><br class=""></div></body></html>