> Thanks for your enumeration, which I agree with, but I would add some
 > other options:
 > 
 >   use some library capable of generating machine code in memory; in
 >   particular libjit http://www.southern-storm.com.au/libjit.html
 >   http://dotgnu.org/pipermail/libjit-developers/ or
 >   GNU lightning http://www.gnu.org/software/lightning/lightning.html
 >   https://savannah.gnu.org/projects/lightning/ . Ok, some of them are
 >   lacking
 >   important features like tail recursion or good support of a
 >   garbaged-collected runtime.

Believe it or not, early in my career, Mary Fernández and I created
just such a library.  Unfortunately it supports only C and Modula-3,
and at present C-- is implemented in Objective Caml.  However, I think
one of the things that may emerge from João's thesis is a way to
interface to that code.   Certainly we'd be very interested if anyone
wanted to volunteer to start reengineering our code emitter to emit
machine code directly into memory---we have plenty of technology
around for this purpose, but not enough hands to put it together.


Norman
_______________________________________________
Cminusminus mailing list
[email protected]
https://cminusminus.org/mailman/listinfo/cminusminus

Reply via email to