ML, the language heritage from which OCaml derives, was explicitly designed with interpreters and compilers in mind.