We chose OCaml because its type system catches entire categories of bugs at compile time that would require extensive testing and still slip through in other languages.