Caml

Эта статья — о языке программирвания. О языке разметки см. 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

Примечания

↑ BeOS stuff (неопр.). Дата обращения: 19 августа 2023. Архивировано 29 сентября 2023 года.

Литература

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 с.