OCaml

Website: ocaml.org

Proiectat de: Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez

OCAML (OH-KAM-əl, fostul CAML obiectiv) este un limbaj de programare cu mai multe paradigme de nivel general, cu scop general, care extinde dialectul CAML al ML cu caracteristici orientate pe obiect.

OCAML a fost creat în 1996 de Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez și alții.

OCAML Toolchain include un interpret interactiv de nivel superior, un compilator de bytecode, un compilator de cod autohton optimizant, un debugger reversibil și un manager de pachete (OPAM).

OCAML a fost inițial dezvoltat în contextul dovedirii automate a teoremei și are o prezență de dimensiuni mari în analiza statică și software -ul metodelor formale.

Dincolo de aceste domenii, a găsit o utilizare serioasă în programarea sistemelor, dezvoltarea web și utilitățile financiare specifice, printre alte domenii de aplicații.

Acronimul CAML a fost inițial pentru un limbaj abstract categoric, dar OCAML omite această mașină abstractă.

OCAML este un proiect software gratuit și open-source gestionat și întreținut în principal de Institutul Francez pentru Cercetări în Informatică și Automatizare (INRIA).

La începutul anilor 2000, elementele de la OCAML au fost adoptate de multe limbi, în special F# și Scala.