From: Michael Walter <michael.walter@gmail.com>

> Is there such thing as implicit parameters in O'caml, basically
> variables with dynamic extent. Could be (partially?) statically
> checked, too, no?

There's no such thing (at least in statically checked form.)
The technic I gave in my previous mail is the closest you can do with
full static check.
There are various encodings for dynamically scoped variables, but this
is another story.

   Jacques Garrigue