|Version 2 (modified by john@…, 9 years ago) (diff)|
Exceptions may be thrown by pure code and caught in the IO monad.
- A semantics for imprecise exceptions, Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow and Fergus Henderson. PLDI 1999.
- more robust programs
- complicates denotational semantics a little
- very tricky to implement properly
- requires non-trivial run-time support and implementation constraints