Основы программирования на языке Ocaml (Объективный Caml). 

Язык программирования Ocaml (Objective Caml)
относится к функциональным со статической (контроль типов на этапе компиляции), очень развитой типизацией. Во многом он идентичен языку Haskell, но это более высокий уровень. Кроме того, язык обладает структурами, позволяющими составлять программы в «императивном» и «объектно-ориентированном» стилях. Имеется возможность для тесного взаимодействия с языком С++. Программы на Ocaml могут выполняться в интерпретаторе или компилироваться в исполняемый файл.

                   В формате ODT /ocaml.odt

                   В формате PDF/ocaml.pdf