Re: [Caml-list] JIT compilation of OCaml's bytecode

2009-01-25 Thread Mikkel Fahnøe Jørgensen
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

[Caml-list] JIT compilation of OCaml's bytecode

2009-01-24 Thread Jon Harrop
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 ___