On 6/24/07, Arnaud Spiwack <aspiwack@lix.polytechnique.fr> wrote:
> Another lead is maybe something due to module compilation, the
> earlier idea might imply that each module has it's own namespace (it's
> the case for almost everything in OCaml, except, if I'm not mistaking,
> method names).

And polymorphic variants.  If you consider objects as extensible
records, ignoring instance variables and initializers and pretending
they support pattern matching and the "with" syntax, then their design
is essentially the record analogue of polymorphic variants.  Hence a
global namespace.

- Chris