[ghc-steering-committee] #380 GHC2021: Let's deprecate ExistentialQuantification

Joachim Breitner mail at joachim-breitner.de
Fri Dec 4 15:25:06 UTC 2020


Am Freitag, den 04.12.2020, 15:47 +0100 schrieb Spiwack, Arnaud:
> I'm just saying: let's _not_ add ExistentialQuantification in GHC2021
> (because it ought, in my opinion, to be considered deprecated).

I’m convinced!

>  Let's not go into talking about chopping the feature into smaller
> pieces. 

Not for GHC2021! But if GADTs don’t make it this round, we can ask the
question if ExistentialVariables is a feature worth having on its own,
of if anyone who wants to use that should just go for GADTs.


Joachim Breitner
  mail at joachim-breitner.de

More information about the ghc-steering-committee mailing list