Dmitry Lomov <dsl@intellij.com> writes:

> I am pleased to announce the availability of Dynamic Caml v.0.2
> from:
> 
> http://oops.tercom.ru/dml/
> 
> Dynamic Caml is a high-level, type-safe (statically typed)
> and efficient dynamic code generation library and a set of 
> CamlP4 syntax extensions for Objective Caml. 
> 
> Though still supporting only bytecode,
> release 0.2 is much more mature than the previous 0.1 release.

I've a question about the link betwen Dynamic Caml and MetaOCaml 
(you can found MetaOcaml at
http://cs-www.cs.yale.edu/homes/taha/MetaOCaml/) 

As I see it, the main difference is that MetaOcaml is a modification
of the ocaml compiler, and dml is an external library, but is there
any more in depth difference between the two ? (By the way, MetaOCaml
lack a good documentation).

But it seem also (I may be wrong) that MetaOCaml enable more easily
multi stage generation (that is program that generate program that
generate program) Is this feasible with dml ?
-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
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