
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.
/Arnaud
On Sun, Dec 12, 2021 at 9:25 PM Eric Seidel
Writing down our design principles in one place makes a lot of sense to me, +1
On Fri, Dec 10, 2021, at 11:51, Simon Peyton Jones wrote:
Dear Steering Committee
I'd like to propose that we accept Proposal #452: Articulate principles for GHC evolution * Discussion: https://github.com/ghc-proposals/ghc-proposals/pull/452 * Proposal:
Remember, we are not debating the principles themselves, all of which are embodied in earlier proposals. Rather we are discussing * the usefulness of having a place where we articulate the principles, and * a process for updating them over time, namely by PRs against this proposal The idea is that the latest incarnation of the proposal is always the current set of agreed principles.
Please respond by Friday 17 Dec. Because it seems uncontroversial, I'll take silence as assent, unless a big discussion arises.
Thanks
Simon
On Fri, 19 Nov 2021 at 19:23, Richard Eisenberg
wrote: Dear Committee,
This is your interim secretary speaking:
Articulate principles for GHC evolution, proposing a new "principles" document to be added to the proposals repo, has been proposed by me. https://github.com/ghc-proposals/ghc-proposals/pull/452
https://github.com/goldfirere/ghc-proposals/blob/principles/principles.rst
I propose Simon PJ as the shepherd, as this is something of a
https://github.com/goldfirere/ghc-proposals/blob/principles/principles.rst meta-proposal, appropriate for shepherding by our chair.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Richard _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee