[Haskell-cafe] using of data types as kinds
bulatz at HotPOP.com
Tue Nov 22 14:01:45 EST 2005
Tuesday, November 22, 2005, 8:24:41 PM, you wrote:
>> Busy doing GADTs and impredicativity at the moment though
just in the case you don't have time to read HCAR ;) some excerpt from
2.1 The Glasgow Haskell Compiler
There is lots more in the works:
We are planning to use darcs (>6.6) instead of CVS for GHC.
On the type system front, we hope to extend GHCs higher-rank type
system to incorporate impredicative types:
fix the GADT implementation to work nicely with type classes,
Allow you to use data types as kinds, in a manner similar to Tim
Sheards Omega language.
We are planning to release GHC 6.6 some time in the next six months.
This will include the parallel version of GHC.
Bulat mailto:bulatz at HotPOP.com
More information about the Haskell-Cafe