Categorical Abstract Machine Language
| Caml | |
|---|---|
 | |
| Парадигма | декілька: функціональна, імперативна; об'єктно-орієнтована в OCaml |
| Дата появи | 1985 |
| Творці | Жерар Хью, Ґай Коусінау, Акандер Суарез, Пієр Вайс, Міхаель Мауні (Важкий Камель), Ксавієр Лерой (Простий Камель, Objective Caml |
| Розробник | INRIA  |
| Останній реліз | |
| Система типізації | сувора, статична |
| Основні реалізації | OCaml, Caml Light |
| Під впливом від | ML |
| Вплинула на | F# |
| Вебсайт | caml.inria.fr |
Caml (скорочення від англ. Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS.
Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю.
Перша реалізація Caml була здійснена на мові програмування Лісп, та мала неформальну назву «Важкий CAML» через порівняно високі вимоги до кількості наявних ресурсів у порівнянні з наступником — мовою програмування Caml Light, реалізовану на мові програмування Сі Ксавієром Лероєм та Дамієном Доліґезом.
На поточний момент, найпоширенішою реалізацією Caml є Objective Caml, який додає багато нових можливостей до початкового варіанту мови, включаючи і механізми об'єктно-орієнтованого програмування.
Дивіться також
- Standard ML
- F Sharp, подібний до OCaml компілятор на Microsoft .NET
- Objective Caml
Ресурси інтернету
Література
- The Functional Approach to Programming with Caml by Guy Cousineau and Michel Mauny.
- Cousineau G., Curien P.-L., Mauny M. The categorical abstract machine. — LNCS, 201, Functional programming languages computer architecture.-- 1985, pp.~50-64.
- Вольфенгаген В. Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления. — 2-е изд. — М: АО «Центр ЮрИнфоР», 2002. — 96 с ISBN 5-89158-102-7.
|
Це незавершена стаття про мови програмування. Ви можете допомогти проєкту, виправивши або дописавши її. |