4 Dec
2020
4 Dec
'20
10:25 a.m.
Hi, 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. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/