Ocaml Tools

Сегодня я постараюсь рассказать вам об инструментах, помогающих программировать на 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