RE: [Haskell-cafe] using of data types as kinds
Read about Omega! I have not written anything about what I plan to do in GHC, but basically it amounts to allowing you to use a data type as a kind. Busy doing GADTs and impredicativity at the moment though Simon | -----Original Message----- | From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of | Bulat Ziganshin | Sent: 22 November 2005 15:41 | To: haskell-cafe@haskell.org | Subject: [Haskell-cafe] using of data types as kinds | | Hello , | | in the HCAR GHC team wrote "On the type system front, we hope to ... | Allow you to use data types as kinds, in a manner similar to Tim | Sheard▓s Omega language". can someone point me where i can read about | this? | | -- | Best regards, | Bulat mailto:bulatz@HotPOP.com | | | | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe
--- Simon Peyton-Jones
Read about Omega!
I will.
Busy doing GADTs and impredicativity at the moment though
Impredicativity?
===
Gregory Woodhouse
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
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, Bulat mailto:bulatz@HotPOP.com
Bulat Ziganshin wrote:
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/
Google gives http://www.cis.upenn.edu/~dimitriv/boxy/boxy.ps
participants (4)
-
Bulat Ziganshin -
Greg Woodhouse -
kyra -
Simon Peyton-Jones