Введение в OCaml: Нулевые указатели, утверждения и предупреждения [4]

Если кому-то действительно интересен OCaml, то могу посоветовать посмотреть в сторону libguestfs.org, там Richard WM Jones использует его для автоматической генерации кода(я могу ошибаться, но там из C кода генерируются расширения для php, python, ocaml, perl, java и ещё чего-то).
Ну и пара утилит сейчас переписываются на OCaml