Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Resumable exceptions in plain OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-06-14 (23:46)
From: Erik de Castro Lopo <ocaml-erikd@m...>
Subject: Re: [Caml-list] Resumable exceptions in plain OCaml 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:

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 de Castro Lopo
C++: The power, elegance and simplicity of a hand grenade.