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 is > 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'? I didn't see the discussion leading up to this. It would be interesting to see stuff about existential types. It doesn't appear to have been on the haskell mail system. Tony Davie
