2009/1/25 Jon Harrop j...@ffconsultancy.com:
AFAIK, OCaml's bytecode is typeless. How hard would it be to infer types from
the bytecode in order to create type-specific functions during JIT
compilation?
I assume you have already studied the other ocamljit approach
AFAIK, OCaml's bytecode is typeless. How hard would it be to infer types from
the bytecode in order to create type-specific functions during JIT
compilation?
--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e
___