From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA07544; Thu, 16 May 2002 14:20:28 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA07499 for ; Thu, 16 May 2002 14:20:27 +0200 (MET DST) Received: from iona.labri.fr (iona.labri.fr [147.210.8.143]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4GCKQn07757 for ; Thu, 16 May 2002 14:20:27 +0200 (MET DST) Received: from localhost (localhost.localdomain [127.0.0.1]) by iona.labri.fr (Postfix) with ESMTP id 924D37E6E for ; Thu, 16 May 2002 14:20:26 +0200 (CEST) Received: from serveur3.labri.fr (serveur3.labri.fr [147.210.8.180]) by iona.labri.fr (Postfix) with ESMTP id 8E01D7E26 for ; Thu, 16 May 2002 14:20:25 +0200 (CEST) Received: (from vanicat@localhost) by serveur3.labri.fr (8.11.6/8.11.6) id g4GCKPg22189; Thu, 16 May 2002 14:20:25 +0200 X-Authentication-Warning: serveur3.labri.fr: vanicat set sender to vanicat@labri.u-bordeaux.fr using -f To: caml-list@inria.fr Subject: Re: [Caml-list] ANN: Dynamic Caml v0.2 is released References: From: Remi VANICAT In-Reply-To: Date: 16 May 2002 14:20:25 +0200 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Virus-Scanned: by AMaViS perl-11 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dmitry Lomov 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