Xavier Leroy wrote:

> A good component model for OCaml (and other languages): that would be
> interesting.  Shared libraries for the sake of shared libraries: that
> isn't interesting in the least.
> 
> - Xavier Leroy


This is a very interesting remark. Indeed, static type safety seems 
rather incompatbile with a component model, yet, I'm sure someone is 
doing research on the subject. Can anyone point me to the relevant material?

Alex

-------------------
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