Caml

Caml

Семантика:	Объектно-ориентированное
Появился в:	1985
Автор(ы):	INRIA
Релиз:	3.11.2 (20.01.2010)
Типизация данных:	строгая, статическая
Основные реализации:	OCaml, Caml Light
Испытал влияние:	Standard ML, F＃

Caml — это объектно-ориентированный язык программирования, разработанный для создания более безопасных и защищенных программ. Caml очень близок Standard ML, а если быть точнее является его диалектом, но полная совместимость отсутствует. Аббревиатура расшифровывается как Categorical Abstract Machine Language. Сам язык очень прост в изучении, сохраняя при всем этом утонченную выразительность и строгость. Является обязательным курсом в некоторых учебных заведениях по информатике.

История

Язык был разработан в национальном научно-исследовательском институте Франции INRIA в 1985 году. Существует несколько разработок, в частности версии для Windows, Linux и Mac OS.

Примеры программ

Вывод строки текста на экран

print_endline "[[Hello world]]!";;

Факториал, в функциональном стиле:

 let rec fact n = if n=0 then 1 else n * fact(n-1);;

Факториал, с использованием сопоставления с образцом (pattern matching):

 let rec fact = function
   | 0 -> 1
   | n -> n * fact(n-1);;

Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Проставив сноски, внести более точные указания на источники. Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).

Ссылки

• Официальный сайт Caml
• Различные ресурсы о Caml