Skip to content

Latest commit

 

History

History
169 lines (119 loc) · 10.4 KB

GettingStarted.md

File metadata and controls

169 lines (119 loc) · 10.4 KB

Getting Started

Установка

В репозиториях дистрибутива может не быть новейшей (сейчас это 3.12.1) версии компилятора. Пользователи Debian и Ubuntu могут получить её через репозиторий Debian OCaml Task Force:

$ apt-key adv --keyserver pgp.surfnet.nl --recv 49881AD3
$ gpg -a --export 49881AD3 | sudo apt-key add -
OK
$ sudo tee -a /etc/apt/sources.list > /dev/null
deb     http://ocaml.debian.net/debian/ocaml-3.12.1 sid main
deb-src http://ocaml.debian.net/debian/ocaml-3.12.1 sid main
^D
$ sudo aptitude update
...

Теперь можно поставить минимально-необходимый набор пакетов:

$ sudo aptitude install ocaml ocaml-findlib oasis

Дописать:

REPL aka toplevel

К сожалению, в отличие от подавляющего числа языков, имеющих интерактивную консоль, OCaml не использует библиотеку readline, реализующую привычный интерфейс для работы со строками в консоли (история, редактирование и т.д.). Поэтому рекомендуется запускать REPL вместе с rlwrap:

$ rlwrap ocaml
        Objective Caml version 3.12.1

#

А лучше добавить в .bashrc следующий алиас alias ocaml='rlwrap -t dumb -r -m -c ocaml'.

Топлевел окамла содержит ряд полезных директив -- команд, начинающихся с "#" (октоторп, решётка). Среди них есть

  • #cd "dir";; -- смена текущей директории на dir

  • #use "file.ml";; -- загрузка файла file.ml в топлевел построчно, как если бы его содержимое набиралось здесь

  • #load "str.cma";; -- загрузка скомпилированного в байткод файла str в топлевел

  • #directory "dir";; -- добавление директории dir в список путей, где искать скомпилированные файлы

При работе с внешними пакетам, раскиданными по файловой системе, писать #directory и #load весьма утомительно. Более того, также утомительна будет и компиляция&сборка твоих программ. Поэтому на помощь приходит findlib (aka ocamlfind).

Findlib

Findlib -- средство управления пакетам для окамла. Он предоставляет ряд инструментов, помогающих работать с библиотеками: загружать их, указывать зависимости и т.д. Также findlib добавляет директиву #topfind в топлевел. После выполнения этой директивы ты увидишь простую понятную справку:

# #use "topfind";;
 - : unit = ()
 Findlib has been successfully loaded. Additional directives:
   #require "package";;      to load a package
   #list;;                   to list the available packages
   #camlp4o;;                to load camlp4 (standard syntax)
   #camlp4r;;                to load camlp4 (revised syntax)
   #predicates "p,q,...";;   to set these predicates
   Topfind.reset();;         to force that packages will be reloaded
   #thread;;                 to enable threads

То есть, для загрузки установленного пакета, вместо #directory "/long/long/path/to/lib";; и #load "library.cma";; (а то и нескольких файлов), можно писать #require "library";; -- которая добавит необходимые пути, загрузить необходимые зависимости и саму библиотеку. Ну не праздник ли?!

Hello world!

#!/usr/bin/env ocaml

let () =
    print_endline "Hello world!";;

Дописать:

  • Компиляция в байткод и native code

Азы Оазиса

Однако, окамл -- не скриптовый язык, и проводить всё время в репле не круто. Надо и программы писать, а затем и собирать их! Для этого лучше всего воспользоваться оазисом. Оазис определяет единый формат метаинформации о пакете и единое средство установки -- ocaml setup.ml -configure, ocaml setup.ml -build, ocaml setup.ml -install. После его установки тебе должна быть доступна команда oasis

oasis 
E: No subcommand defined, call 'oasis -help' for help

Создай директорию для своего проекта. Рекомендуемая структура: ./src -- директория для исходников, ./tests -- директория для тестов. Самое время для оазиса, запусти oasis quickstart -- команду, которая создаст для тебя центральный в экосистеме оазиса файл _oasis. quickstart предложит ответить на несколько общих вопросов: название проекта, краткое описание, авторы и т.д. Последним будет вопрос про плагины:

  • DevFiles -- добавит привычные для unix-мира Makefile и configure -- которые будут вызывать команды оазиса
  • META -- поддержка ocamlfind, должен быть выбран, если вы пишите библиотеку, которая предполагает установку!
  • StdFiles -- сгенерирует файлы AUTHORS.txt, README.txt, INSTALL.txt -- полезно, особенно INSTALL.txt

Если ты ошибся -- ничего страшного, результирующий файл _oasis можно затем легко поправить руками. После общей информации можно создать запускаемый_файл/библиотеку/документ и т.д. Начнём с исполняемого файла.

  • executable name -- имя результирующего исходника, скажем test
  • path -- путь, где лежат (или будут лежать) твои файлы (src)
  • MainIs -- файл, считающийся основным, точкой входа (main.ml)

На этом предлагаю остановиться (выбрать n) и записать полученный файл (w). В результате твой _oasis выглядит как-то так:

OASISFormat: 0.2
Name:        test
Version:     0.0.1
Synopsis:    test
Authors:     Xavier
License:     CC0
Plugins:     DevFiles (0.2), META (0.2), StdFiles (0.2)

Executable test
  Path:       src
  BuildTools: ocamlbuild
  MainIs:     main.ml

Команда oasis setup прочитает этот файл и создаст необходимую инфраструктуру для сборки и распространения проекта.

I: File AUTHORS.txt doesn't exist, creating it.
I: File INSTALL.txt doesn't exist, creating it.
I: File Makefile doesn't exist, creating it.
I: File README.txt doesn't exist, creating it.
I: File _tags doesn't exist, creating it.
I: File configure doesn't exist, creating it.
I: File myocamlbuild.ml doesn't exist, creating it.
I: File setup.ml doesn't exist, creating it.

Теперь командами ocaml setup.ml -configure|-build можно конфигурировать/собирать проект.

Если ты пишешь библиотеку, то вместо секции Executable у тебя будет секция Library с примерно таким содержимым:

Library libka
  Path:            src
  Modules:         Libka
  InternalModules: Util
  BuildDepends:    unix, camlp4
  NativeOpt:       -w A
  ByteOpt:         -w A

Поля BuildDepends, NativeOpt и ByteOpt ты можешь также использовать и при создании исполняемого файла. Они означают, соответственно: пакеты, от которых зависит твой проект; опции компилятора в нативный код; опции компилятора в байткод. Здесь мы включаем все предупреждения как ошибки.

Установка библиотек

Если ты привык ставить дополнительные библиотеки не средствами своей ОС, а средствами окружения языка, то тебе может быть интересен проект odb. Склонировав гит репозиторий, добавь путь к odb.ml в PATH, или положи odb.ml в директорию из PATH. Odb по умлочанию ставит библиотеки в ~/.odb/lib, а исполняемые файлы в ~/odb/.bin . Добавь эти пути к OCAMLPATH и PATH соответственно и можешь начинать пользоваться инструментом:

$ odb.ml utop