OCaml

Objective Caml (OCaml) is a programming language which is a dialect of ML (programming language). It extends the Caml language so object-oriented programming can be used.

OCaml

Paradigm	Multi-paradigm: functional, imperative, modular,[1] object-oriented
Family	ML
Designed by	Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez
Developer	INRIA
First appeared	1996; 29 years ago (1996)
Stable release	5.3.0[2]  / 8 January 2025; 6 months ago (8 January 2025)
Typing discipline	Inferred, static, strong, structural
Implementation language	OCaml, C
Platform	IA-32, x86-64, Power, SPARC, ARM 32-64
OS	Cross-platform: Unix, macOS, Windows
License	LGPLv2.1
Filename extensions	.ml, .mli
Website	ocaml.org
Influenced by
C, Caml, Modula-3, Pascal, Standard ML
Influenced
ATS, Coq, Elm, F#, F*, Haxe, Opa, Rust, Scala
Objective Caml at Wikibooks

Bibliography

• Whitington, John (2013). OCaml from the Very Beginning. Coherent Press. ISBN 9780957671102.