Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Lamda expressions and a caml interpreter
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-03-12 (17:48)
From: Yamagata Yoriyuki <yoriyuki@m...>
Subject: Re: [Caml-list] Lamda expressions and a caml interpreter
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 <Thomas.Fischbacher@Physik.Uni-Muenchen.DE>
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. (

Yamagata Yoriyuki

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: