Caml

Caml
Семантика	Объектно-ориентированное
Класс языка	диалект
Появился в	1985
Автор	INRIA
Разработчик	INRIA
Выпуск	3.11.2 (20.01.2010)
Система типов	строгая, статическая
Основные реализации	OCaml, Caml Light
Испытал влияние	Standard ML, F＃
Сайт	caml.inria.fr

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

Язык был разработан в национальном научно-исследовательском институте Франции INRIA в 1985 году. Существуют порты для Windows, BeOS^[1], 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);; 

• Язык модулей ML

• Guy Cousineau, Michel Mauny. The Functional Approach to Programming. — Cambridge University Press, 1998. — 460 с. — ISBN 978-0521576819.
• John Harrison. Введение в функциональное программирование = Introduction to Functional Programming. — Кембриджский университет, 1997. — 170 с.

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

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