ocaml - Интернет в облаке

ПРОГРАММА:

ИМЯ

ocaml - интерактивный верхний уровень OCaml

СИНТАКСИС

OCaml [ кредита ] [ объектные файлы ] [ скрипт-файл ]

ОПИСАНИЕ

Команда OCaml(1) команда - это система верхнего уровня для OCaml, которая позволяет интерактивно использовать
Система OCaml через цикл чтения-оценки-печати. В этом режиме система неоднократно считывает
OCaml вводит фразы из входных данных, затем проверяет их типы, компилирует и оценивает их, а затем печатает
предполагаемый тип и значение результата, если есть. Система выводит приглашение # (четкое) перед
читая каждую фразу.

Фраза верхнего уровня может занимать несколько строк. Завершается ;; (двойная точка с запятой). В
синтаксис фраз верхнего уровня следующий.

Система верхнего уровня запускается командой OCaml(1). Фразы читаются по стандарту
ввод, результаты выводятся на стандартный вывод, ошибки - на стандартную ошибку. Конец файла на
стандартный ввод завершается OCaml(1).

Если один или несколько объектные файлы (оканчивающиеся на .cmo или .cma), загружаются незаметно
перед запуском верхнего уровня.

Если скрипт-файл выдается, фразы автоматически считываются из файла, ошибки печатаются на
стандартная ошибка. OCaml(1) завершается после исполнения последней фразы.

ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ

Следующие параметры командной строки распознаются OCaml(1).

-absname
Показывать абсолютные имена файлов в сообщениях об ошибках.

-I каталог
Добавить указанный каталог в список каталогов, в которых выполняется поиск исходного кода и компилируется.
файлы. По умолчанию сначала выполняется поиск в текущем каталоге, а затем в стандартном.
каталог библиотеки. Каталоги добавлены с помощью -I ищутся после текущего
каталог, в том порядке, в котором они были указаны в командной строке, но до
каталог стандартной библиотеки.

Если данный каталог начинается с +, берется относительно стандартной библиотеки
каталог. Например, -I + компилятор-библиотеки добавляет подкаталог компилятор-библиотеки of
стандартную библиотеку в путь поиска.

Каталоги также могут быть добавлены в путь поиска после запуска верхнего уровня с
#директория Директивы.

-в этом файл
Загрузите данный файл вместо файла инициализации по умолчанию. Файл по умолчанию
is .ocamlinit в текущем каталоге, если он существует, в противном случае .ocamlinit в
домашний каталог пользователя.

-метки
Ярлыки не игнорируются в типах, ярлыки могут использоваться в приложениях и снабжены ярлыками.
параметры можно указывать в любом порядке. Это значение по умолчанию.

-нет функции приложения
Деактивирует аппликативное поведение функторов. С этой опцией каждый функтор
приложение генерирует новые типы в своем результате и дважды применяет один и тот же функтор
к тому же аргументу приводит к двум несовместимым структурам.

-нет утверждения
Не компилируйте проверки утверждений. Обратите внимание, что специальная форма утверждать ложный Всегда
скомпилирован, потому что он специально набран.

-без меток
Игнорируйте необязательные метки в типах. Ярлыки нельзя использовать в приложениях, и
порядок параметров становится строгим.

-независимо
Не отображать никаких подсказок при ожидании ввода.

-nopromptcont
Не отображать вторичную подсказку при ожидании строк продолжения в многопользовательском режиме.
линейные входы. Это следует использовать, например, при запуске OCaml(1) в Emacs(1) окно.

-nostdlib
Не включайте каталог стандартной библиотеки в список каталогов, в которых выполняется поиск.
для исходных и скомпилированных файлов.

-открыть модуль
Открывает данный модуль перед запуском верхнего уровня. Если несколько -открыть варианты
учитывая, они обрабатываются по порядку, как если бы операторы открывались! module1 ;; ...
открытым! moduleN ;; были введены.

-ппкс команду
После синтаксического анализа пропустите абстрактное синтаксическое дерево через препроцессор. команду,
модуль Ast_mapper(3) реализует внешний интерфейс препроцессора.

-главный
Проверьте информационный путь во время проверки типов, чтобы убедиться, что все типы
получены принципиальным образом. При использовании помеченных аргументов и / или полиморфных
методы, этот флаг необходим, чтобы гарантировать, что будущие версии компилятора будут
может правильно определять типы, даже если внутренние алгоритмы меняются. Все программы
принято в -главный mode также принимаются в режиме по умолчанию с эквивалентным
типы, но разные двоичные сигнатуры, и это может замедлить проверку типов; пока что
рекомендуется использовать его один раз перед публикацией исходного кода.

-ректипы
Разрешить произвольные рекурсивные типы во время проверки типов. По умолчанию только рекурсивный
поддерживаются типы, в которых рекурсия проходит через тип объекта.

-safe-строка
Обеспечьте разделение между типами string и байт, тем самым делая строки читаемыми -
Только. Это станет значением по умолчанию в будущей версии OCaml.

-короткие пути
Когда тип виден под несколькими путями модуля, используйте самый короткий, когда
печать имени типа в предполагаемых интерфейсах и сообщениях об ошибках и предупреждениях.

-стдин Считайте стандартный ввод как файл сценария, а не запускайте интерактивный
сессия.

-строгая последовательность
Заставьте левую часть каждой последовательности иметь тип unit.

- небезопасно
Отключите проверку границ при доступе к массивам и строкам ( v. (i)иs. [i]
конструкции). Программы, скомпилированные с - небезопасно поэтому немного быстрее, но
небезопасно: все может случиться, если программа обращается к массиву или строке за пределами
его границы.

-unsafe-строка
Определить типы string и байт, тем самым делая строки доступными для записи. По причинам
обратной совместимости, на данный момент это значение по умолчанию, но это
изменится в будущей версии OCaml.

-версия
Распечатать строку версии и выйти.

-vnum Распечатайте короткий номер версии и выйдите.

-w список предупреждений
Включить или отключить предупреждения в соответствии с аргументом список предупреждений. Посмотреть окамлк(1)
для синтаксиса список предупреждений аргумент.

-предупреждение-ошибка список предупреждений
Отметить как фатальные предупреждения, описанные аргументом список предупреждений. Обратите внимание, что
предупреждение не срабатывает (и не вызывает ошибку), если оно отключено
-w вариант. Видеть окамлк(1) для синтаксиса список предупреждений аргумент.

-предупреждение-помощь
Показать описание всех доступных номеров предупреждений.

- файл Используйте файл в качестве имени файла сценария, даже если он начинается с дефиса (-).

-Помощь or --Помогите
Отобразите краткую сводку использования и выйдите.

ОКРУЖАЮЩАЯ СРЕДА ПЕРЕМЕННЫЕ

LC_CTYPE
Если установлено значение iso_8859_1, символы с диакритическими знаками (из набора символов ISO Latin-1) в
строковые и символьные литералы печатаются как есть; в противном случае они печатаются как
десятичные escape-последовательности.

СРОК При печати сообщений об ошибках система верхнего уровня пытается визуально подчеркнуть
место ошибки. Он обращается к переменной TERM, чтобы определить тип
выведите терминал и посмотрите его возможности в базе данных терминала.

Используйте ocaml онлайн с помощью сервисов onworks.net