Re: Current state of the language

[dewar@cs.nyu.edu (Robert Dewar)]

"What is the difference between modules and types"

Ah ha! time to trot out again, for those who have not seen it, my observation
that the words unify and confuse both mean the same thing (join together), but
they express a very different point of view.

A lot of language design is discussion on whether two features should be
unified, or whether the attempt causes confusion.

For me, I don't like the idea of trying to unify modules and types, of course
it can be done, that's trivially obvious, and has been known for ever, but
I think it is confusing.