[Haskell-cafe] using of data types as kinds

[Simon Peyton-Jones]

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 at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On Behalf Of
| Bulat Ziganshin
| Sent: 22 November 2005 15:41
| To: haskell-cafe at 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 at HotPOP.com
| 
| 
| 
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe