OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.
