Lambda the Ultimate

inactiveTopic A semantics for imprecise exceptions
started 9/25/2001; 4:32:31 AM - last post 9/25/2001; 4:32:31 AM
Ehud Lamm - A semantics for imprecise exceptions  blueArrow
9/25/2001; 4:32:31 AM (reads: 656, responses: 0)
A semantics for imprecise exceptions
This paper shows how exceptions can be handled in a lazy functional language, in which it is impossible to manipluate control flow without imposing strict evaluation order. The basic approach is to encode expections as values. The paper shows the profound implications of this approach.

The paper was mentioned on an interesting comp.lang.functional thread about expections and referential transparency.

Even if you are not interested in the detailed semantics presented in the papers the first sections (1-3) and last sections (5-6) should be interesting.

Posted to functional by Ehud Lamm on 9/25/01; 4:34:03 AM