OCaml は作れる。他はしらん。
でも普通逆だろ。ML で C 使うんじゃないのか。