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
JIT VM in OCaml: Impossible?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-08-16 (16:26)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Re: JIT VM in OCaml: Impossible?
On Thursday 16 August 2007 15:37:09 Sylvain Le Gall wrote:
> On 16-08-2007, Joel Reymont <> wrote:
> > Folks,
> >
> > Is it possible to write a JIT VM in OCaml?
> >
> > It seems that this should not be possible as OCaml does not allow for
> > code generation at runtime. Am I mistaken?
> >
> > 	Thanks, Joel
> What about :

As others have said, Joel wants to write a JIT in OCaml rather than for OCaml. 
Although the OCamlJIT project was a nice idea, it is based upon the now-dead 
GNU Lightning library and its functionality was more recently displaced by 
the much more performant ocamlnat.

However, I think tools to enable JIT writing using OCaml would be most 
welcome. Not only the safe staged metaprogramming approach of MetaOCaml but 
also direct code generators.

Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists