Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc -

[Mauricio Fernandez <mfp@acm.org>]

On Fri, Oct 10, 2008 at 05:55:03AM +0100, Jon Harrop wrote:
> On Friday 10 October 2008 04:30:53 Erik de Castro Lopo wrote:
> > Jon Harrop wrote:
> > > You mean the program that generates OCaml's bytecodes is
> > > written in OCaml.
> >
> > Commonly known as a compiler.
> 
> One of the compilers, yes.
> 
> > > the program that executes OCaml's bytecodes
> >
> > Commonly known as a virtual machine.
> 
> No, I was referring specifically to the interpreter (byterun/interp.c) and not 
> the run time. So not the whole VM. What is done with the rest of the VM is up 
> in the air.

http://camlcvs.inria.fr/cgi-bin/cvsweb/cdk/asmdynlink/interp.ml


$ head -18 interp.ml | tail -7
(*
   This module implement an interpretor for OCAML bytecode. The bytecode is
supposed to be linked (ie symbols are resolved). Closures are compiled as
native closures taking only one argument each time. For example, GRAB creates
a native closure waiting for "arity" arguments, then putting them on the stack
and calling the interpretor with a new pc.
*)

-- 
Mauricio Fernandez  -   http://eigenclass.org