Language
OCaml
Extension of the Caml programming language
1996Appeared
5.5.0Latest version
12Languages it influenced
Facts
- Appeared
- 1996
- Type system
- static typing, inference typing, structural typing, strong typing
- Latest version
- 5.5.0 (June 19, 2026)
- Languages it influenced
- 12
- Kind
- multi-paradigm programming language, imperative programming language, dialect, functional programming language, free and open-source software, object-based language
- Paradigms
- functional programming, imperative programming, modular programming, object-oriented programming
- Designed by
- Xavier Leroy, Damien Doligez
- Developer
- Institut National de Recherche en Informatique et en Automatique
- Influenced by
- Standard ML
- File extensions
- .ml .mli
- Licence
- Q Public License, GNU Lesser General Public License, version 2.1
- Operating system
- Unix-like operating system
- Influences listed
- 1
Sources: Wikidata (CC0) · Wikidata Q212587
Influenced · 12
Languages implemented in it · 8
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| Boomerang | 2008 | — | — | — |
| Hack | 2014 | — | dynamic typing, gradual typing, static typing, inference typing, weak typing | — |
| Haxe | 2005 | generic programming, functional programming, multi-paradigm programming, object-oriented programming | dynamic typing, static typing, nominative typing, inference typing | — |
| Liquidsoap | — | — | — | — |
| Reason | 2016 | functional programming | static typing | 1 |
| ReScript | 2015 | functional programming | static typing | — |
| Rocq prover | 1984 | purely functional programming | — | 3 |
| SATySFi | — | — | — | — |
Frameworks written in it · 1
| Framework | Kind | Licence |
|---|---|---|
| Ocsigen | web framework, free software | GNU Lesser General Public License |