История изменений
Исправление Aswed, (текущая версия) :
Можно полный пример?
Сейчас это скорее абстрактная ситуация. Ранее я сталкивался с этим когда писал транслятор и там была рекурсивная проверка типов.
Зачем?
Ну епт! Потому что циклы более производительные чем рекурсия. Раст вроде как подается как высокопроизводительный. А автоматической развертки хвостовой рекурсии в циклы компилятор не умеет. Об этом как-то писали создатели, что там неопределенная ситуация с временем жизни может случиться.
Исходная версия Aswed, :
Можно полный пример?
Сейчас это скорее абстрактная ситуация. Ранее я сталкивался с этим когда писал транслятор и там была рекурсивная проверка типов.
Зачем?
Ну епт! Потому что циклы более производительные чем рекурсия. Раст вроде как подается как высокопроизводительный. А автоматической развертки рекурсии в циклы компилятор не умеет. Об этом как-то писали создатели, что там неопределенная ситуация с временем жизни может случиться.