Deriving via (#120), Recommendation: accept
Dear Committee, this is your secretary speaking: Deriving via was proposed, by Ryan, Icelandjack and Andres, https://github.com/ghc-proposals/ghc-proposals/pull/120 rendered at https://github.com/Icelandjack/ghc-proposals/blob/patch-3/proposals/0000-der... I’ll shepherd that myself. The proposal adds a new deriving strategy that works like GND, but explicitly names the other, representationally equal type whose instance should be copied. The proposal comes with a paper and an implementation, has been met with great enthusiasm in the community, and I expect that our users will do many great things with it, and all that with relatively little theoretical and implemntational overhead. I therefore wholeheartedly recomment that we accept this proposal. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
I support this. It's a great proposal -- I wish I'd thought of it. But I have added a comment to the main thread asking for some changes to the presentation. And an open question about syntax. Simon | -----Original Message----- | From: ghc-steering-committee <ghc-steering-committee- | bounces@haskell.org> On Behalf Of Joachim Breitner | Sent: 24 April 2018 03:20 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Deriving via (#120), Recommendation: | accept | | Dear Committee, | | this is your secretary speaking: | | Deriving via was proposed, by Ryan, Icelandjack and Andres, | https://github.com/ghc-proposals/ghc-proposals/pull/120 | rendered at | https://github.com/Icelandjack/ghc-proposals/blob/patch- | 3/proposals/0000-deriving-via.rst | | I’ll shepherd that myself. | | The proposal adds a new deriving strategy that works like GND, but | explicitly names the other, representationally equal type whose | instance should be copied. | | The proposal comes with a paper and an implementation, has been met | with great enthusiasm in the community, and I expect that our users | will do many great things with it, and all that with relatively little | theoretical and implemntational overhead. | | I therefore wholeheartedly recomment that we accept this proposal. | | | Thanks, | Joachim | -- | Joachim Breitner | mail@joachim-breitner.de | http://www.joachim-breitner.de/
Hi, there seems to be mainly consensus here. Am Dienstag, den 24.04.2018, 20:41 +0000 schrieb Simon Peyton Jones:
But I have added a comment to the main thread asking for some changes to the presentation. And an open question about syntax.
The discussion there seems to have ebbed down. I am happy with the syntax in the proposal (deriving via … instance …) and accept it as it is. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Hi, Am Samstag, den 05.05.2018, 17:01 -0400 schrieb Joachim Breitner:
there seems to be mainly consensus here.
no complains: Accepted! Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Seems like a good idea. On Mon, Apr 23, 2018 at 7:20 PM Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,
this is your secretary speaking:
Deriving via was proposed, by Ryan, Icelandjack and Andres, https://github.com/ghc-proposals/ghc-proposals/pull/120 rendered at
https://github.com/Icelandjack/ghc-proposals/blob/patch-3/proposals/0000-der...
I’ll shepherd that myself.
The proposal adds a new deriving strategy that works like GND, but explicitly names the other, representationally equal type whose instance should be copied.
The proposal comes with a paper and an implementation, has been met with great enthusiasm in the community, and I expect that our users will do many great things with it, and all that with relatively little theoretical and implemntational overhead.
I therefore wholeheartedly recomment that we accept this proposal.
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
participants (3)
-
Iavor Diatchki -
Joachim Breitner -
Simon Peyton Jones