GHC devs
I'm going to give the traditional "state of play in GHC" at the Haskell
Implementors Meeting.
If you have an opinion, can you say what you'd like to see in it?
My current list of topics is below. Please say what else should be there, and
who else should be credited. Most of the work is done by people other than me!!
Simon
* A Backpack segment (given by Edward)
* A DevOps segment (given by Ben)
* TypeInType
* Zillions of fixes
* Substantial internal changes: e.g.
* making flattening homogeneous;
* making equality homogeneous, coercion quantification (thanks
Ningning)
* what else?
* Small but significant language proposals:
* Visible dependent quantification
* Top-level kind signatures
* Visible kind application
* what else?
* New and ongoing developments in GHC
* Better exhaustiveness checking (thank you Ryan)
* Quantified constraints
* Linear types
* Trees That Grow
* Deriving via
* Performance, performance, performance
* Hadrian... soon, soon, soon!
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
