[Haskell-cafe] using of data types as kinds

Bulat Ziganshin bulatz at HotPOP.com
Tue Nov 22 14:01:45 EST 2005

Hello Greg,

Tuesday, November 22, 2005, 8:24:41 PM, you wrote:
>> Busy doing GADTs and impredicativity at the moment though

GW> Impredicativity?

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 GHC’s 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
Sheard’s 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. 

Best regards,
 Bulat                            mailto:bulatz at HotPOP.com

More information about the Haskell-Cafe mailing list