RE: [Haskell-cafe] using of data types as kinds

2005-11-22 Thread 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: [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

RE: [Haskell-cafe] using of data types as kinds

2005-11-22 Thread Greg Woodhouse 


--- Simon Peyton-Jones [EMAIL PROTECTED] wrote:

 Read about Omega!  
 

I will.

 Busy doing GADTs and impredicativity at the moment though
 

Impredicativity?


===
Gregory Woodhouse  [EMAIL PROTECTED]


Interaction is the mind-body problem of computing.

--Philip Wadler











___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] using of data types as kinds

2005-11-22 Thread kyra 

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
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe