[k__]

Isn't the stuff that comes out of the OCaml compiler byte code?

As far as I can tell, OCaml has a GC and WASM (at the moment) doesn't so this seems like the only viable solution to me.

[colanderman]

OCaml also has a native x86 backend, which produces quite efficient code.