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 GHCs 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 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. -- Best regards, Bulat mailto:bulatz@HotPOP.com