ага. а есть ли, интересно, наследование ? большой процент наследования в библиотеках C++-подобных языков - это template method, и в функциональных языках вместо виртуальных функций есть closures. далее идут интрузивные контейнеры, вместо которых, видимо, параметризованные функции и типы. но вот, допустим, нам надо где-то создать объект и им попользоваться, объект, удовлетворяющий данному контракту. в других языках на вход метода подается абстрактная фабрика, производящая объекты. а в OCaml это возможно ?

и еще вопрос - сворачивает ли OCaml хвостовую рекурсию (вроде бы должен, как ему иначе добиться высокой производительности ? за счет возможности использования императивного стиля если, то это неинтересно)