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 SAA04221; Mon, 30 Aug 2004 18:40:40 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA04731 for ; Mon, 30 Aug 2004 18:40:39 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i7UGebSW027128 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 30 Aug 2004 18:40:39 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id A9C897E; Mon, 30 Aug 2004 11:40:33 -0500 (CDT) Received: from glockenspiel.complete.org ([127.0.0.1]) by localhost (glockenspiel [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 01291-08; Mon, 30 Aug 2004 11:40:24 -0500 (CDT) Received: by glockenspiel.complete.org (Postfix, from userid 1000) id AFA45BA; Mon, 30 Aug 2004 11:40:23 -0500 (CDT) Date: Mon, 30 Aug 2004 11:40:22 -0500 From: John Goerzen To: Nicolas Cannasse Cc: Michal Moskal , caml-list@inria.fr Subject: Re: [Caml-list] Alternative Bytecodes for OCaml Message-ID: <20040830164022.GA1260@complete.org> References: <200408250926.28629.jgoerzen@complete.org> <20040826214223.GA25370@roke.freak> <004f01c48c19$9950d8e0$0100a8c0@warp> <200408270809.28272.jgoerzen@complete.org> <008501c48c77$27ffaa00$0100a8c0@warp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <008501c48c77$27ffaa00$0100a8c0@warp> User-Agent: Mutt/1.5.6+20040722i X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at complete.org X-Miltered: at concorde with ID 41335885.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bytecodes:01 2004:99 cannasse:01 runtime:01 camlp:01 printf:01 python:01 compiler:01 ocaml:01 ocaml:01 nicolas:01 afaik:01 bytecode:01 0200,:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Aug 27, 2004 at 10:48:06PM +0200, Nicolas Cannasse wrote: > That was part of my thinking. A lot of technologies that are available in > the OCaml compiler sources are not made accessible to the OCaml programmer. > I would like for instance be able to create on the fly Lambda OCaml AST, > generate corresponding ocaml bytecode, and execute it : such a feature would > be great for DSL since it will remove the need to implement an efficient > runtime system (ocaml one will be used in place). Just one example of this: AFAIK, there is no way, using camlp4 or any other standard tools, to implement a custom version of printf complete with a custom format string parser. -- John Goerzen Author, Foundations of Python Network Programming http://www.amazon.com/exec/obidos/tg/detail/-/1590593715 ------------------- 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