gear nuke wrote:
>
> Pzz>Выяснилось, что у Ocaml'а вызов функции более эффективно устроен на
> Pzz>ассемблерном уровне.
>
> А не было ли это причиной того, что копмилятор OCaml приводил
> рекурсивный вызов к простому циклу?

1. Нет, не сводил
2. GCC тоже умеет превращать хвостовую рекурсию в цикл