Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Conditional Modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alain Frisch <Alain.Frisch@e...>
Subject: Re: [Caml-list] Conditional Modules
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