On Thu, 5 Aug 2004, Christophe Raffalli wrote:

> Is there plan to have first class modules in OCaml (in other word merge
> record/structure and function/functor) ? If I understood well (I did not
> look myself) MoscowML has this.

AFAIK, MoscowML had packaged modules, which keeps the two levels (core /
module) stratified, but allows a module to be packaged in a value. In this
system, you can write functions from packaged modules to packaged modules,
but you cannot express type dependencies between the input and the output
type (equivalently: there is no polymorphism on types within packaged
signatures). So, there is still a need for a separate notion of functors.


-- Alain

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners