<div dir="ltr"><div>This is all reasonable. When crafting this response my main question was: “is this the right place for such overarching principles”. To which my answer was (almost immediately, I've got to admit) “of course it is the right place for this”. The fact that the document encourages proposals to modify the document when relevant is good evidence of it. And more generally, these principles live where design happens; it all makes sense.</div><div><br></div><div>/Arnaud<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Dec 12, 2021 at 9:25 PM Eric Seidel <<a href="mailto:eric@seidel.io">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">Writing down our design principles in one place makes a lot of sense to me, +1<br>
<br>
On Fri, Dec 10, 2021, at 11:51, Simon Peyton Jones wrote:<br>
> Dear Steering Committee<br>
><br>
> I'd like to propose that we accept Proposal #452: Articulate principles <br>
> for GHC evolution<br>
>  * Discussion: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/452" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/452</a><br>
>  * Proposal:  <br>
> <a href="https://github.com/goldfirere/ghc-proposals/blob/principles/principles.rst" rel="noreferrer" target="_blank">https://github.com/goldfirere/ghc-proposals/blob/principles/principles.rst</a><br>
> Remember, we are not debating the principles themselves, all of which <br>
> are embodied in earlier proposals.  Rather we are discussing <br>
>  * the usefulness of having  a place where we articulate the <br>
> principles, and <br>
>  * a process for updating them over time, namely by PRs against this <br>
> proposal<br>
> The idea is that the latest incarnation of the proposal is always the <br>
> current set of agreed principles.<br>
><br>
> Please respond by Friday 17 Dec. Because it seems uncontroversial, I'll <br>
> take silence as assent, unless a big discussion arises.<br>
><br>
> Thanks<br>
><br>
> Simon<br>
><br>
> On Fri, 19 Nov 2021 at 19:23, Richard Eisenberg <<a href="mailto:lists@richarde.dev" target="_blank">lists@richarde.dev</a>> wrote:<br>
>> Dear Committee,<br>
>> <br>
>> This is your interim secretary speaking:<br>
>> <br>
>> Articulate principles for GHC evolution, proposing a new "principles" document to be added to the proposals repo, has been proposed by me.<br>
>> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/452" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/452</a><br>
>> <a href="https://github.com/goldfirere/ghc-proposals/blob/principles/principles.rst" rel="noreferrer" target="_blank">https://github.com/goldfirere/ghc-proposals/blob/principles/principles.rst</a><br>
>> <br>
>> I propose Simon PJ as the shepherd, as this is something of a meta-proposal, appropriate for shepherding by our chair.<br>
>> <br>
>> Please guide us to a conclusion as outlined in <br>
>> <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br>
>> <br>
>> Thanks,<br>
>> Richard<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>
> 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>
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>