[Haskell-cafe] using of data types as kinds

[Bulat Ziganshin]

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
there:


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:
http://research.microsoft.com/~simonpj/papers/boxy/, 

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