O'Caml & modules

[Andrew Conway <arc@wildtype.Stanford.EDU>]

Thanks for O'caml. I haven't had a chance to try it yet,
but the type system looks both interesting and useful.

Remember a while back we were having a discussion on the merits
of allowing local module definitions? It appears to me that these
are very very similar to the constructor of an object.

Does this mean that the infrastructure necessary to add
local module definitions is already partially in place? If so,
it could be a useful addition (although arugably one could just
use an object instead of a module, but it is aesthetically unpleasing.

One might want, for instance, a module giving packed-n-bit
vectors, where n is a parameter to a multiply called
function. One would then use an object to refer to a specific
bit vector, using a function from the above mentioned module,
which may get a little messy.

Anyway, I just thought this would be a good idea to re-bring
up this thread.

Thanks again,

Andrew.