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:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe