RE: Re[2]: [Haskell-cafe] using of data types as kinds
Sorry should be fixed now (or shortly when the mirror does its stuff) Simon | -Original Message- | From: Bulat Ziganshin [mailto:[EMAIL PROTECTED] | Sent: 22 November 2005 19:28 | To: Simon Peyton-Jones | Cc: haskell-cafe@haskell.org | Subject: Re[2]: [Haskell-cafe] using of data types as kinds | | Hello Simon, | | Tuesday, November 22, 2005, 8:17:38 PM, you wrote: | | SPJ I have not written anything about what I plan to do in GHC, but | SPJ basically it amounts to allowing you to use a data type as a | SPJ kind. Busy doing GADTs and impredicativity at the moment though | | Simon, i can't download file | | http://research.microsoft.com/~simonpj/papers/boxy/boxy-pldi.ps.gz | | reffered at http://research.microsoft.com/~simonpj/papers/boxy/ | | | -- | Best regards, | Bulatmailto:[EMAIL PROTECTED] | | ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re[2]: [Haskell-cafe] using of data types as kinds
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, Bulatmailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re[2]: [Haskell-cafe] using of data types as kinds
Hello Simon, Tuesday, November 22, 2005, 8:17:38 PM, you wrote: SPJ I have not written anything about what I plan to do in GHC, but SPJ basically it amounts to allowing you to use a data type as a SPJ kind. Busy doing GADTs and impredicativity at the moment though Simon, i can't download file http://research.microsoft.com/~simonpj/papers/boxy/boxy-pldi.ps.gz reffered at http://research.microsoft.com/~simonpj/papers/boxy/ -- Best regards, Bulatmailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
