Hi list,

 If this is of any interest for the discussion, I have just finished
putting together a first prototype of fast exception monad. There's room
for at least one huge optimization, but the overall idea shouldn't
change. I've documented it somewhat here [1]. If there's interest, I
guess I could try and reimplement some core modules to make use of this
facility, as a manner of determining its usefulness. Or, rather, to add
a compatibility layer for some core modules.

Cheers,
 David

[1]
http://dutherenverseauborddelatable.wordpress.com/downloads/exception-monads-for-ocaml/ 

On Thu, 2008-01-31 at 09:55 +0100, Bünzli Daniel wrote:
> Hello,
> 
> Based on discussions and the resulting consensus that occured more  
> than once on this list. I wrote a recommendation on how modules should  
> perform error management. It is available here :
> 
> http://cocan.org/osr/exceptionless_error_management
> 
> Best,
> 
> Daniel

-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations.