Hmmm. I remembered incorrectly then. The bytecode version is possible in pure ocaml, but for native it apparently needs C. For Haskell it is however possible.

Hmmm. I remembered incorrectly then. The bytecode version is possible in pure ocaml, but for native it apparently needs C. For Haskell it is however possible. There is a neat paper by among others Kent Dybvig.