Sorry should be fixed now (or shortly when the mirror does its stuff)
Simon
| -Original Message-
| From: Bulat Ziganshin [mailto:[EMAIL PROTECTED]
| Sent: 22 November 2005 19:28
| To: Simon Peyton-Jones
| Cc: haskell-cafe@haskell.org
| Subject: Re[2]: [Haskell-cafe] using of data types
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
S
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 fil
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
--- 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
__
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 si
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]
_
