OCaml

OCaml is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others. Wikipedia

Created Year: 1996
Designed by: Institut National de Recherche en Informatique et en Automatique • Damien Doligez
Developed by: Xavier Leroy
Operating systems: Unix-like operating system
Implemented in: C • OCaml
Named after: Caml
File extensions: ml, mli

Wikidata: Q212587

Influenced: ATS • Boomerang • Elm • F* • Frenetic • F# • Gleam • Hack • Opa • Rust • Scala

Influenced by: Standard ML

Programming paradigms: object-oriented programming • modular programming • functional programming • imperative programming

Language types: functional programming language • multi-paradigm programming language • object-based language • imperative programming language

OCaml Influence Network

Pan and zoom the graph with your mouse or alternatively your fingers on touch devices.

Hello World in OCaml

print_string "Hello World\n"

Free OCaml books, articles, documentation

Search on GitHub


Latest data update: 2026-09-24