OCaml

OCaml
Класс языка	объектно-ориентированный, язык функционального программирования, мультипарадигмальный, императивный, диалект и свободное и открытое программное обеспечение
Появился в	1996
Автор	Ксавье Лерой и Damien Doligez[вд]
Разработчик	INRIA
Расширение файлов	.ml или .mli
Выпуск	5.3.0 (8 января 2025)[1]
Испытал влияние	SML
Лицензия	публичная лицензия Q и LGPL-2.1[вд]
Сайт	ocaml.org (англ.)
ОС	Unix-подобная операционная система[2]
Медиафайлы на Викискладе

OCaml (Objective Caml) — объектно-ориентированный язык функционального программирования общего назначения. Был разработан с учётом безопасности исполнения и надёжности программ. Поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования. Самый распространённый в практической работе диалект языка ML.

Появился в 1996 году под названием Objective Caml, когда Дидье Реми (Didier Rémy) и Жером Вуйон (Jérôme Vouillon) реализовали поддержку объектно-ориентированного программирования для языка Caml, первоначально разработанного во французском институте INRIA. Официально переименован в OCaml в 2011 году^[3].

Инструментарий OCaml включает в себя интерпретатор, компилятор в байткод и оптимизирующий компилятор в машинный код, сравнимый по эффективности с Java и лишь немного уступающий по быстродействию C и C++^[4].

На языке, в частности, написан рендеринг формул Википедии, использующих тег <math>, файлообменный клиент MLDonkey, стек управления гипервизором Xen xapi (является частью Xen Server/Xen Cloud Platform), язык программирования Haxe.

1. ↑ https://ocaml.org/releases/5.3.0
2. ↑ https://ocaml.org/docs/up-and-running
3. ↑ A History of OCaml  (неопр.). Дата обращения: 22 апреля 2019. Архивировано 1 сентября 2015 года.
4. ↑ Minsky, 2011.