| Tonny Davie says | | Evan Ireland says | | > As Nigel and I have | > pointed out to numerous people (including Haskell committee members), the | > statement that stream I/O cannot be efficiently emulated by continuation I/O i | > true only if the continuation model being used is lacking in certain request | > types (i.e. references/assignment as in Tui or coroutines as in Hope+C). | | 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'? Regarding efficiency, can someone comment on whether there is any difference between the stream and continuation models in the effect on parallelism? --Joe
