On Thu, 2007-08-16 at 12:24 -0400, Gordon Henriksen wrote:
> 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,

Why? Ocaml is just as capable of generating binary data as C ..
if not more capable. You would need some glue to actually
*execute* this code, but that is also true in C. For Unix,
mmap() would probably be used.

The question is: why would you do this? Why not just generate
C (or C++ as Felix does) and compile it to a shared library,
then link and execute it? 

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net