A very useful paper, analyzing the semantic differences between continuations (a la callcc) and exceptions.
The paper is a tour de force, and the details can be quite daunting. However, the basic results are well worth remembering:
cannot express continuations (Section 3).
- conversely, continuations in the absence of state cannot
express exceptions (Section 4).
- If exceptions and continuations are combined in the same language,
they cannot express state (Section 5).
- Exceptions and state cannot express continuations (Section 6).
If you want to skip the details, direct your attention to corollaries 3.10 and 4.11.
The paper was mentioned in a very interesting thread in the LtU discussion group.
Posted to theory by Ehud Lamm on 11/23/03; 3:39:34 AM