Folks,

I would like to write a high-performance VM in OCaml. I understand  
that OCaml itself uses either a threaded interpreter or a switch- 
style one.

What's the most efficient way to write a bytecode interpreter in  
OCaml itself, though?

Would CPS style be inlined if I were to write a threaded interpreter  
this way?

	Thanks in advance, Joel

--
http://wagerlabs.com