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: 1996Designed by: Damien Doligez • Xavier Leroy
Developed by: Institut National de Recherche en Informatique et en Automatique
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 • Haxe • Opa • Rust • Scala
Influenced by: Standard ML
Programming paradigms: functional programming • imperative programming • modular programming • object-oriented programming
Language types: functional programming language • imperative programming language • multi-paradigm programming language • object-based 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
- Developing Applications With Objective Caml
- Functional Programming in OCaml - Michael R. Clarkson
- OCaml From the Ground Up - Daniil Baturin (HTML) (:construction: in process)
- OCaml from the Very Beginning - John Whitington
- OCaml Scientific Computing - Liang Wang, Jianxin Zhao (HTML) (:construction: in process)
- Real World OCaml
- Think OCaml - Allen B. Downey, Nicholas Monje
- Unix System Programming in OCaml - Xavier Leroy, Didier Rémy (HTML, GitHub Repo)
- Using, Understanding, and Unraveling The OCaml Language: From Practice to Theory and vice versa - Didier Rémy
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2025-08-11