Caml

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Caml
Caml.128x58.gif
Семантика Объектно-ориентированное
Класс языка язык программирования
Появился в 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, 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);;

См. также[править | править код]

Примечания[править | править код]

Ссылки[править | править код]