-module(demo).
-export([factorial/1]).
factorial(0) -> 1;
factorial(N) ->
N * factorial(N-1).
Факториал не является хвостовой рекурсией, но почему он не переполняет стек? Я могу получить факториал 100 000 без переполнения стека, но для вычисления требуется некоторое время.
Стек процесса Erlang хранится не в стеке, предоставленном системой процессу (обычно это несколько мегабайт), а в куче. Насколько я знаю, он будет неограниченно расти, пока система не откажется давать ВМ больше памяти.
Размер включает 233 слова для области кучи (включая стек). Сборщик мусора увеличивает кучу по мере необходимости.
Основной (внешний) цикл процесса должен быть хвостовой рекурсией. В противном случае стек растет до тех пор, пока процесс не завершится.
Если вы отслеживаете процесс Erlang VM в мониторе процессов, таком как Activity Monitor в OSX или top в других UNIX-подобных системах, вы увидите, что использование памяти будет продолжать увеличиваться до тех пор, пока расчет не будет завершен, после чего часть память (та, где хранится стек) будет освобождена (это происходит постепенно в течение нескольких секунд после того, как функция возвращается для меня).
