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 SAA21532; Fri, 12 Mar 2004 18:27:50 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 SAA20647 for ; Fri, 12 Mar 2004 18:27:49 +0100 (MET) Received: from smtp.mbg.ocn.ne.jp (mbg.ocn.ne.jp [210.190.142.181]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2CHS8KW000503 for ; Fri, 12 Mar 2004 18:28:09 +0100 Received: from localhost (p25133-adsau14honb7-acca.tokyo.ocn.ne.jp [220.111.75.133]) by smtp.mbg.ocn.ne.jp (Postfix) with ESMTP id 7056E5CB7; Sat, 13 Mar 2004 02:27:45 +0900 (JST) Date: Sat, 13 Mar 2004 02:27:23 +0900 (JST) Message-Id: <20040313.022723.07647081.yoriyuki@mbg.ocn.ne.jp> To: alex@baretta.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] Lamda expressions and a caml interpreter From: Yamagata Yoriyuki In-Reply-To: <4051E31F.8000806@baretta.com> References: <4051E31F.8000806@baretta.com> X-Mailer: Mew version 2.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 yamagata:01 yoriyuki:01 yoriyuki:01 cdk:01 cdk:01 asmdynlink:01 implemented:01 reclaimed:01 asmdynlink:01 scaml:01 physik:01 caml-list:01 2004:99 baretta:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 122 CDK (http://pauillac.inria.fr/cdk/) contains Asmdynlink, which is an ocaml bytecode-interpreter solely written by ocaml. *I think* that a bytecode block is implemented as int array. But the current implementation seems to register all modules to a global table, so they would not be reclaimed. Moreover, Asmdynlink looks like not maintained now. But you could start from here. I also remember that SCaml has something similar, but I do not know the detail. From: Thomas Fischbacher Subject: Re: [Caml-list] Lamda expressions and a caml interpreter Date: Fri, 12 Mar 2004 17:35:18 +0100 (CET) > On Fri, 12 Mar 2004, Alex Baretta wrote: > > > I believe one possibile solution would be to compile the generated ocaml > > code halfway only, > > Maybe you want to google for MetaML. There is MetaOcaml, too. (http://www.cs.rice.edu/~taha/MetaOCaml/) -- Yamagata Yoriyuki ------------------- 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