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