Caml
Caml — объектно-ориентированный язык программирования, разработанный для создания более безопасных и защищенных программ. Caml очень близок Standard ML, а если быть точнее, то является его диалектом, но полная совместимость отсутствует. Аббревиатура произошла от Categorical Abstract Machine Language (язык категориальной абстрактной машины). Сам язык очень прост в изучении, сохраняя при всём этом утончённую выразительность и строгость. Является обязательным курсом в некоторых учебных заведениях по информатике.
Caml | |
---|---|
![]() | |
Семантика | Объектно-ориентированное |
Класс языка | диалект |
Появился в | 1985 |
Автор | INRIA |
Разработчик | INRIA |
Выпуск | 3.11.2 (20.01.2010) |
Система типов | строгая, статическая |
Основные реализации | OCaml, Caml Light |
Испытал влияние | Standard ML, F# |
Сайт | caml.inria.fr |
История
правитьЯзык был разработан в национальном научно-исследовательском институте Франции 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);;
См. также
правитьПримечания
править- ↑ 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 с.
Ссылки
правитьДля улучшения этой статьи желательно:
|