But they say "we use ocaml [because it has types]" not "[because it can emit machine code]"