Машинный код после транслятора OCaml не самый быстрый. Формат представления целых чисел (0-й бит всегда равен единице) и mark-n-sweep сборщик мусора дают о себе знать. OCaml хорош прежде всего как функциональный язык с выводом типов по Хиндли-Милнеру.

Не знаю, зачем они привели синтаксис к вот такому "яваскрипту", заменив match на switch и begin/eng на скобочки:

switch (foo) {
| Some(value) => doSomething(value)
| None => error()
}

Мне сразу вспомнилась классика:

#define begin {
#define end }