Caml Light

В 1990 и 1991 годах проводилась работа по проектированию новой реализации Caml, основанной на интерпретаторе в байт-код, написанный на C. Была реализована превосходная система управления памятью. Реализация получилась легко переносимой и реализации были разработаны для компьютеров Mac и PC. Эта новая реализация получила название Caml Light.

Caml Light — это реализация функционального языка Caml из семейства языков ML. Caml очень близок Standard ML но они не полностью совместимы. Есть определенные различия в синтаксисе и семантики, а самые главные различия содержатся в структуре модулей.

Caml Light реализован в двух разновидностях:

• классическая интерактивная система верхнего уровня
• пакет, который генерирует автономные программы

Первая из них хороша для изучения языка и его конструкций, экспериментирования с программами. А вторая для генерации самостоятельных компактных программ.