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
environment idiom
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-12-09 (11:29)
From: Jacques Garrigue <garrigue@m...>
Subject: Re: [Caml-list] environment idiom
From: Michael Walter <>

> 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