OCaml

Paradigms	functional programming, modular programming, object-oriented programming, imperative programming
Typing discipline	strong typing, structural typing, inference typing, static typing
First appeared	1996
Designed by	Damien Doligez, Xavier Leroy
Developer	Institut National de Recherche en Informatique et en Automatique
Type	multi-paradigm programming language, imperative programming language, dialect, functional programming language, free and open-source software, object-based language
Influenced by	Standard ML
License	GNU Lesser General Public License, version 2.1, Q Public License
Latest version	5.5.0
File extensions	ml, mli
Website	ocaml.org
Written in	OCaml, C
Operating systems	Unix-like operating system

Sources: Wikidata (CC0) · Wikidata Q212587

Programming languages · 12

Language	Paradigms	First appeared	Developer
ATS	declarative programming, functional programming	2006	Boston University
Boomerang	—	2008	Benjamin C. Pierce
F#	object-oriented programming, metaprogramming, imperative programming, functional programming, concurrent computing, reflective programming	2005	F Sharp Software Foundation, Microsoft
F*	functional programming, imperative programming	—	Microsoft Research, Institut National de Recherche en Informatique et en Automatique
Frenetic	domain-specific language	—	—
Gleam	concurrent computing, functional programming, multi-paradigm programming	2016	—
Hack	—	2014	Meta Platforms
Haxe	object-oriented programming, multi-paradigm programming, functional programming, generic programming	2005	Simon Krajewski, Cauê Waneck, Haxe Foudation, Nicolas Cannasse
Opa	imperative programming, multi-paradigm programming, functional programming	2011	—
ReScript	functional programming	2015	Bloomberg L.P.
Rust	generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming	2006	Mozilla, Rust Foundation, Graydon Hoare
Scala	concurrent computing, functional programming, imperative programming, object-oriented programming	2004	École polytechnique fédérale de Lausanne, Martin Odersky

Programming languages · 8

Language	Paradigms	First appeared	Developer
Boomerang	—	2008	Benjamin C. Pierce
Hack	—	2014	Meta Platforms
Haxe	object-oriented programming, multi-paradigm programming, functional programming, generic programming	2005	Simon Krajewski, Cauê Waneck, Haxe Foudation, Nicolas Cannasse
Liquidsoap	—	—	—
Reason	functional programming	2016	Meta Platforms
ReScript	functional programming	2015	Bloomberg L.P.
Rocq prover	purely functional programming	1984	Institut National de Recherche en Informatique et en Automatique
SATySFi	—	—	—

Operating systems · 1

Operating system	Developer	First release	License
MirageOS	Thomas Gazagnaire	—	ISC license