Omission: there's a very nice on-the-fly compiler, which supports writing an embedded intepreter, for (an old dialect of) Lua in OCaml, written by Norman Ramsey

Omission: there's a very nice on-the-fly compiler, which supports writing an embedded intepreter, for (an old dialect of) Lua in OCaml, written by Norman Ramsey [1]. It's part of the C-- distribution [2]. [1]: http://www.cs.tufts.edu/~nr/pubs/maniaws-abstract.html http://www.cs.tufts.edu/~nr/pubs/maniaws-abstract.html [2]: http://www.cminusminus.org/c-downloads/ http://www.cminusminus.org/c-downloads/