Hello, 2010/6/2 Dario Teixeira > ------------------------------------------------- > | | 0-arity | n-arity (n>0) | > ------------------------------------------------- > | Valueish | value | function | > | | | | > | Moduleish | module | functor | > ------------------------------------------------- > I disagree with your terminology. Below is the one I use: ------------------------------------------------- > | | 0-arity | n-arity (n>0) | > ------------------------------------------------- > | Value | constant | function | > | | | | > | Module | structure | functor | > ------------------------------------------------- > > Second, does the promotion of modules to first-class values also extend to > higher-order modules, ie, functors? > If I well understood what Alain Frisch and Xavier Leroy explained, modules (including both structures and functors) become first class value: structures may be converted to records and functors to functions; and conversely. But I let more informed person confirm this. -- Julien