Phil,
I said:
| Consider a polymorphic continuation request such as the following:
|
| someRequest :: T a -> (U a -> Dialogue)
To which you replied:
> Quite true, but note that there are *no* polymorphic IO functions!
> At least, not for any `true' polymorphic function satisfying Reynold's
> parametricity theorem. See Reynolds' classic 1984 paper, or my
> `Theorems for Free'.
I did (at least I read Theorems for free). Please explain why the "ref",
"deref", and "assign" I/O requests that I had in my example are not
polymorphic.
_______________________________________________________________________________
[EMAIL PROTECTED] Evan Ireland, Department of Computer Science,
+64-6-3569099 x8541 Massey University, Palmerston North, New Zealand.
