OCaml

OCaml
Изображение логотипа
Класс языка объектно-ориентированный, язык функционального программирования, мультипарадигмальный, императивный, диалект и свободное и открытое программное обеспечение
Появился в 1996
Автор Ксавье Лерой и Damien Doligez
Разработчик INRIA
Расширение файлов .ml или .mli
Выпуск
Испытал влияние 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. OCaml 5.2.0 Release Notes
  2. https://ocaml.org/docs/up-and-running
  3. A History of OCaml. Дата обращения: 22 апреля 2019. Архивировано 1 сентября 2015 года.
  4. Minsky, 2011.

Developed by StudentB