An industrial-strength functional programming language with an emphasis on expressiveness and safety. Website: www.ocaml.org