Zitat von Gordon Henriksen <gordonhenriksen@mac.com>:

[...]
> Ocaml is hampered in that its try block has no native finally
> construct, which requires repetition in the normal flow-of-control
> and
> exceptional cases.
[...]


I have not looked at it in detail and did not used it,
but there is an implementation of a language extension by Martin Jambon,
that offers a try...finally.

Because I don't know how it's implemented, I don't know if this adds a
performance lack. But possibly it would make sense to look at it closer
to explore it's advantages and disadvantages...
...but I've no experience in OCaml extension, so I hope someone here can
say some wprds about it.


Look here:

   http://martin.jambon.free.fr/ocaml.html

Look for "TryFinally".


Ciao,
   Oliver