Continuation based I/O with referential trasparency (Hope+) ?

I haven't found anything more on this yet via Googling around; anybody know more? If it really means that all I/O is referentially transparent, it would be interesting to this newbie to see compare/contrast with e.g. Monadic approaches to I/O.


It has a continuation-based I/O system with referential transparency and is capable of handling all common I/O tasks such as terminal and file I/O, signal handling and interprocess communications.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Purely functional IO

Read this and the latter parts of this (PS).

Continuations and IO

Perhaps this is relevant.


I'll re-read some, and newly-read the other, and hope it sinks in this time. :-)