[ghc-steering-committee] Deriving via (#120), Recommendation: accept

Iavor Diatchki iavor.diatchki at gmail.com
Mon Apr 30 16:31:30 UTC 2018


Seems like a good idea.

On Mon, Apr 23, 2018 at 7:20 PM Joachim Breitner <mail at 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-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 at joachim-breitner.de
>   http://www.joachim-breitner.de/
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180430/fd789ae5/attachment.html>


More information about the ghc-steering-committee mailing list