Fri Aug 28 17:23:03 CEST 2009

Monads and shift/reset

Two directions: Representing Monads[1] by Filinski.  and a paper by
Wadler[2] about CPS / Monads / Delimited control / ...

From a very high level of intuitive understanding: PCs are
abstractions around segments of executions context and jumps -- Monads
are abstractions around threaded state and operation sequencing.  Put
in those words, a link seems plausible.

EDIT: see a Scheme example in [4].

[1] http://eprints.kfupm.edu.sa/62283/1/62283.pdf
[2] http://www.brics.dk/~hosc/local/LaSC-7-1-pp39-56.pdf
[3] http://homepages.inf.ed.ac.uk/wadler/papers/essence/essence.ps.gz
[4] entry://20090906-105507