[ocaml-platform] on the need and design of OCaml namespaces

[Yaron Minsky]

On Tue, Feb 26, 2013 at 11:37 AM, Christophe TROESTLER
<Christophe.Troestler at umons.ac.be> wrote:
> On Tue, 26 Feb 2013 09:30:50 -0500, Yaron Minsky wrote:
>>
>> One thing I'll say is that it is important to be able to add values,
>> and not just modules, to the namespace.  Open Core.Std also adds
>> top-level values, as does the traditional standard library (i.e.,
>> Pervasives), and I don't want to lose that.
>
> Would these values be able to run arbitrary code (e.g. initializing an
> underlying C library and executing some functions)?

I think yes.  It's the exact equivalent of opening a module, which
requires the module be linked in, and all its toplevel effects
executed.

y