The OCaml Programming Language

OCaml is a powerful functional programming language, with strong type-checking and optimizing compilers for native platforms, JavaScript and the JVM.

Compiler Team	Community	OCaml Foundation
Install OCaml	Try Online	Commercial Support