OCaml is a multi-paradigm programming language that supports functional, imperative, and object-oriented programming.
Usage, downloads, licensing, and more