Re: Managing module names

From: Frank Christoph (
Date: Thu Jul 24 1997 - 07:21:46 MET DST

Date: Thu, 24 Jul 1997 14:21:46 +0900
From: (Frank Christoph)
Message-Id: <>
Subject: Re: Managing module names

> >>>>> "monniaux" == David Monniaux <> writes:
> monniaux> Would it be possible to make up some scheme that would to
> monniaux> things like: /graphics/blackwhite/main ->
> monniaux> Graphics.Blackwhite.Main ?
> monniaux> Or, better: would it be interesting according to other users?
> Absolutely! I think that such an arrangement would be even more useful
> than what exists presently.

In my experience, nested modules are not very useful in (O)CAML because you
cannot have a recursive definition cross a module boundary, and I find that
I quite often have mutual dependencies between sets of definitions whose
namespaces I would nevertheless like to separate.

I suspect that the reason package nesting in Java works so well is partly
due to the fact that recursion, etc. is hardly ever used.

On the other hand, SML seems to use module nesting quite freely, though,
and as far as I know it has the same restrictions on module dependencies...

-- FC

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:11 MET