[ghc-steering-committee] Please review #473: First-class existential types, Shepherd: Simon PJ

[Simon Peyton Jones]

Everyone

As you'll see from the proposal thread
<https://github.com/ghc-proposals/ghc-proposals/pull/473>, Richard is going
to revise this proposal a bit.

Simon

On Mon, 16 May 2022 at 20:59, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Dear Committee,
>
> First-class existential types
> has been submitted by Richard
>
> https://github.com/ghc-proposals/ghc-proposals/pull/374
>
>
> https://github.com/goldfirere/ghc-proposals/blob/existentials/proposals/0473-existentials.rst
>
>
> Exciting stuff! This feels, at least to me, like a proposal with major
> implications – not least because I believe it means that type equality
> will now involve some form of term equivalence, and may thus affect
> what kind of Core transformations are still type-preserving. Therefore
> I would suggest Simon PJ to shepherd this proposal.
>
> Please guide us to a conclusion as outlined in
> https://github.com/ghc-proposals/ghc-proposals#committee-process
>
> 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/20220607/4556ff99/attachment.html>