Re: [Caml-list] Resumable exceptions in plain OCaml

[Erik de Castro Lopo <ocaml-erikd@mega-nerd.com>]

oleg@pobox.com wrote:

> 
> Resumable exceptions are the strict generalization of regular exceptions,
> which lets the exception raising form return a value and so the
> computation may continue. It's the exception handler that decides
> either to abort the exceptional computation or to resume it with a
> particular value. Resumable exceptions are made popular by Common
> Lisp, where they are widely used: http://lambda-the-ultimate.org/node/1544

I read that on LtU and loved the idea.

> We show a conservative and elementary implementation of resumable
> exceptions in OCaml: the implementation is a self-contained 100% pure
> OCaml library; makes no changes to the OCaml system; supports the
> existing style of defining exceptions; is compatible with the ordinary
> exceptions; works in byte- or natively-compiled code; uses the most
> basic facilities of ML and so can easily be translated to SML.

I am simply in *awe* that you managed to add this to Ocaml.

Thanks you.

Erik
-- 
+-----------------------------------------------------------+
  Erik de Castro Lopo
+-----------------------------------------------------------+
C++: The power, elegance and simplicity of a hand grenade.