OCaml

L'article necessita alguna millora en el contingut o l'estil. Molta densitat de codi, text sense traduir, espais innecessaris.

OCaml

Tipus	llenguatge de programació orientat a objectes, llenguatge de programació funcional, llenguatge de programació multiparadigma, llenguatge de programació imperatiu, dialect (en) i programari lliure i de codi obert
Data de creació	1996
Disseny	Xavier Leroy i Damien Doligez
Desenvolupador	INRIA
Epònim	Caml
Paradigma de programació	programació funcional, llenguatge imperatiu, programació orientada a objectes i programació modular
Darrera versió estable	5.3.0 ()
Dialecte de	ML
Llenguatge de programació	OCaml i C
Influenciat per	ML Estàndard
Sistema operatiu	Unix-like
Extensió dels fitxers	ml i mli
Llicència	Q Public License (en) i GNU LGPL 2.1
Etiqueta d'Stack Exchange	Etiqueta i Etiqueta
Pàgina web	ocaml.org

OCaml, anteriorment denominat^[1] Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml,^[2] acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light.

OCaml és un projecte de codi obert impulsat per l'entitat estatal francesa de recerca INRIA (Institut national de recherche en informatique et en automatique).

OCaml parteix dels patrons del llenguatge funcional ML amb un lèxic i puntuació diferents, i hi afegeix construccions dels paradigmes de programació procedimental ja incorporades a Caml Light i d'Orientació a objectes, adoptant un enfocament multiparadigma.

OCaml és el nou nom oficial (abans era Objective Caml) des del Juliol del 2011,^[1] i ha estat adoptat per Microsoft com a base del seu llenguatge funcional F#.^[3] No hi ha cap estàndard per al llenguatge; l'única font de compiladors per al llenguatge és el mateix centre de recerca.