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
Evan,
I read with interest your mail on polymorphic I/O requests.
These are difficult, but can be made easier if you recognise the two
checks which are needed for strong typing can be separated. First, some
background. Accessing a typed external environment requires an access
expression
Tony,
> I thought Paul Hudak's seminal paper 'On the Expressiveness of Purely
> Functional I/O Systems' had shown that stream I/O was COMPLETELY equivalent
> to continuation I/O. Or is the emphasis above to be taken to be on the word
> 'efficiently'?
Consider a polymorphic continuation request s
Evan writes:
| Consider a polymorphic continuation request such as the following:
|
| someRequest :: T a -> (U a -> Dialogue)
and then shows this does not work in the stream model, unless one has
existential types.
Quite true, but note that there are *no* polymorphic IO functions!
At least,
