Non-C programs on Linux either implement the C ABI (or the Linux system call interface) or run via interpreters that do.<p>Can your preferred language link to the OCaml ABI? Do you have an interpreter written in OCaml for it?