[ghc-steering-committee] #380 GHC2021: Structured summary

[Joachim Breitner]

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-ghc2021.rst#executive-summary
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 at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: members.dot
Type: text/vnd.graphviz
Size: 2087 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210110/33427b79/attachment.bin>