OCaml is an industrial strength programming language in the ML family, supporting functional, imperative and object-oriented styles.

WWW: https://ocaml.org
