Categorical Abstract Machine Language

Caml (скорочення від англ. Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS.

Caml
Парадигма	декілька: функціональна, імперативна; об'єктно-орієнтована в OCaml
Дата появи	1985
Творці	Жерар Хью, Ґай Коусінау, Акандер Суарез, Пієр Вайс, Міхаель Мауні (Важкий Камель), Ксавієр Лерой (Простий Камель, Objective Caml
Розробник	INRIA
Останній реліз
Система типізації	сувора, статична
Основні реалізації	OCaml, Caml Light
Під впливом від	ML
Вплинула на	F#
Вебсайт	caml.inria.fr

Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю.

Перша реалізація Caml була здійснена на мові програмування Лісп, та мала неформальну назву «Важкий CAML» через порівняно високі вимоги до кількості наявних ресурсів у порівнянні з наступником — мовою програмування Caml Light, реалізовану на мові програмування Сі Ксавієром Лероєм та Дамієном Доліґезом.

На поточний момент, найпоширенішою реалізацією Caml є Objective Caml, який додає багато нових можливостей до початкового варіанту мови, включаючи і механізми об'єктно-орієнтованого програмування.

Див. також

• Standard ML
• F Sharp, подібний до OCaml компілятор на Microsoft .NET
• Objective Caml
• Категоріальна абстрактна машина

Посилання

• Caml language family official website [Архівовано 16 лютого 2011 у Wayback Machine.]

Література

• The Functional Approach to Programming with Caml [Архівовано 24 грудня 2007 у Wayback Machine.] by Guy Cousineau and Michel Mauny.