Archives of the Caml mailing list > Message from Gordon Henriksen

Browse thread

JIT VM in OCaml: Impossible?

Joel Reymont
- Oliver Bandel
- Sylvain Le Gall
  - Oliver Bandel
    - Joel Reymont
  - Jon Harrop
- Gordon Henriksen
  - skaller
    - Taras Glek
      - skaller
        
        Erick Tryzelaar
        
        skaller
        
        Joel Reymont
        
        Jon Harrop
        
        Joel Reymont
        
        Jon Harrop
  - Jon Harrop

Date:	2007-08-16 (16:24)
From:	Gordon Henriksen <gordonhenriksen@m...>
Subject:	Re: [Caml-list] JIT VM in OCaml: Impossible?

On 2007-08-16, at 10:10, Joel Reymont wrote:

> 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?

Sure. You could write a compiler and assembler in ocaml. But you'd  
need to write glue code in C or assembly to convert the ocaml  
representation to machine data structures, and to call into your  
ocaml-based compiler implementation on-demand when a function is called.

But to compile your language/bytecode to ocaml source, and then JIT  
compile that? No help there, no…

— Gordon