Hi all, it’s 8 days to Simon’s birthday, I mean, till the deadline. It was rather quiet here the last weeks – maybe a good sign, and a sign that we have come to terms with the (naturally kinda arbitrary) outcome so far? Or it it just debate fatigue? Just a reminder: See https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-g... for the current state of affair. Any new (or renewed) pleas should probably come now, or next year. Cheers, Joachim PS: I tried to make a graph out of our pair-wise ballot similarities, to map out the committee, but I failed to get graphviz to visualize that. If someone wants to give it a shot, I have attached the .dot file with the raw data. Am Mittwoch, den 06.01.2021, 07:22 -0500 schrieb Alejandro Serrano Mena:
Hi, and happy new year to everybody!
Even though I share with Arnaud a bit of sadness about GADTs, I think that the set of extensions we ended up with is quite coherent: - We switch on by default some “simple syntactic” extensions, like new forms of numbers, empty cases, and so on. - We put all generically-derivable type classes on the same ground; no more special treatment of Eq, Ord… just because they were there earlier. - We enable the most battle-tested extensions to type classes which never compromise the safety. - We make the kind system more regular by enabling PolyKinds, ConstraintKinds, and KindSignatures; but no fancy promotion from DataKinds.
I think it’s good that we’ve decided to keep *both* GADTs and TypeFamilies out. For me this gives the message that type level computation is still something we considered advanced and not fully settled; hence it’s still under a pragma.
Kind regards, Alejandro _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/