[Haskell-cafe] using of data types as kinds

Simon Peyton-Jones simonpj at microsoft.com
Tue Nov 22 12:17:38 EST 2005

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


| -----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

More information about the Haskell-Cafe mailing list