OCaml is a programming language focused on functional programming and type systems.
Usage, downloads, licensing, and more