Сегодня я постараюсь рассказать вам об инструментах, помогающих программировать на Objective CAML.

Инструменты Objective CAML:
* ocamlc
* ocaml interpreter
* ocamlbrowser

ocamlc — компилятор языка Objective Caml, является по сути командным интерфейсом,
принимающий и обрабатывающий аргументы последовательно.Аргументы, заканчивающиеся на .mli
являются исходными файлами для интерфейсов единиц компиляции. Здесь указываются имена,
экспортируемые единицами компиляции: имена переменных, типы данных и т.д.
Из файла A.mli компилятор ocamlc создаст файл A.cmi с скомпилированным интерфейсом.
Аргументы, заканчивающиеся на .ml считаются исходными файлами для реализаций единиц компиляции.
Реализации содержат определения для имен, экспортируемых единицей, а также выражения, вычисляемые на предмет их сторонних эффектов. Из файла A.ml с помощью ocamlc в последствии будет создан объект с байткодом в файле А.cmo.

Основные опции ocamlc:
-a
Создает библиотеку (файл .cma) из объектных файлов .cmo, заданных в командной строке. Имя библиотеки может быть задано с помощью опции -o. Имя по умолчанию — lib.cma
-c
Только компиляция, без фазы компановки. Файлы с исходным текстом преобразуются в компилированные файлы, но исполняемый файл не создается.
-custom
В режиме по умолчанию компоновщик создает байткод, предназначенный для исполнения разделямой системой camlrun. В данном режиме результирующий файл содержит как байткод, так и систему времени выполнения.
-g
Добавляет отладочную информацию во время компиляции и компоновки.
-i
Компилятор выводит все определенные имена при компиляции
-impl filename
Компилировать указанный файл как реализацию, даже если его расширение отличается от .ml.
-intf filename
Компилировать указанный файл как интерфейс, даже если его расширение отличается от .mli.
-linkall
Принудительно компоновать все модули в библиотеках.
-noassert
Отключает проверку утверждений, и утверждения не компилируются.
-nolabels
Игнорировать неопциональные метки в типах.
-o exec-file
Имя файла, создаваемого компоновщиком.
-rectypes
Разрешает во время проверки типа произвольные рекурсивные типы.
-thread
Компилирует или компонует многопоточные программы с использованием библиотеки thread
-v
Выводит номер версии компилятора и путь к стандартной библиотеке
-where
Выводит путь к стандартной библиотеке

Интерпретатор OCaml:
ocaml — интерактивная система Objective CAML.В этом режиме система считывает фразы Caml из ввода, проверяет тип, компилирует и выполняет и, а затем выводит распознанный тип и значение результата, если он есть.

OCamlBrowser, броузер исходных текстов и компилированных интерфейсов.

OCamlBrowser выполняет следующие функции:

— Навигация по модулям Objective Caml.

— Редактирование, проверка типов и просмотр исходного текста.

Вот в принципе 3 стандартных инструмента для программирования на Objective Caml.
Есть еще OCamlDebug и OCamlDoc, отладчик и генератор документов. В следующих постах
перейдем непосредственно к языку.

p.s.Официальный сайт — Objective Caml

Ocaml Tools