Kevin,
In regard to asynchronous I/O, you said:
> This applies equally to the request model. Nothing prevents the submission
> (but not necessarily resolution) of a later I/O request during resolution
> of an earlier request if those requests are independent (and the request
> stream is hyper-s
Kevin,
In regard to asynchronous I/O, you said:
> This applies equally to the request model. Nothing prevents the submission
> (but not necessarily resolution) of a later I/O request during resolution
> of an earlier request if those requests are independent (and the request
> stream is hyper-s
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
Joe,
> Regarding efficiency, can someone comment on whether there is any difference
> between the stream and continuation models in the effect on parallelism?
Parallelism could be ENHANCED by a suitable continuation I/O model, such as the
one I am working on (slowly), since with asynchronous I/O
Phil,
> Where is there a description of the IO request that lets the
> continuation model emulate the stream model???
Here is mine. Nigel will send his.
Let (IO a) be the type of I/O requests which can return values of type "a"
(after carrying out some I/O action).
ref :: a -> (Ref a
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
John,
My formal proposal for existential types in Haskell is "make them the same as
in Hope+C". If you do not have a copy of Nigel Perry's PhD thesis, I can ask
Nigel to send you one (I am having some bound copies made now).
Also I seriously suggest that the Haskell committee look at continuati
