VP
ну принципиально эта дичь стек не потребляет
там как уже по "абсолютным" значениям - надо смотреть
там как уже по "абсолютным" значениям - надо смотреть
Size: a a a
2020 September 11
MB
Я на самом деле не видел ещё хороших кейсов для такой фичи, поэтому это все эстетические соображения
MB
Просто хотелось бы, чтобы кложа была максимально близко к Scheme
VP
Тут скорей всего вопрос в том, что нет прямого механизма, который бы позволил самостоятельно развернуть рекурсивный алгоритм в tail recursion, поэтому решение на пользователе языка, так сказать
VP
Тут скорей всего вопрос в том, что нет прямого механизма, который бы позволил самостоятельно развернуть рекурсивный алгоритм в tail recursion, поэтому решение на пользователе языка, так сказать
Тем более, не всякая рекурсия развернется
MB
Это как раз компилятор кложи мог бы делать
MB
Просто с mutual recursion это сложнее сделать
VP
Это как раз компилятор кложи мог бы делать
типа следить за тем, когда был сделан рекурсивный вызов, и опционально разворачивать?
VP
Просто с mutual recursion это сложнее сделать
trampoline это уж точно костыль. Как минимум потому, что нужно заставлять функцию возвращать вызов самой себя, для отложенности
MB
Я честно говоря механику не слишком хорошо понимаю. Но суть в том, что если вызов в хвостовой позиции, то нам не нужно стэк накапливать. И это справделиво не только в рамках одной функции, можно и между функциями так делать
VP
то есть кодеру нужно еще и обвязку придумать
MB
Я честно говоря механику не слишком хорошо понимаю. Но суть в том, что если вызов в хвостовой позиции, то нам не нужно стэк накапливать. И это справделиво не только в рамках одной функции, можно и между функциями так делать
Не знаю, в рантайме этот анализ делается или в компайл тайме
VP
Я честно говоря механику не слишком хорошо понимаю. Но суть в том, что если вызов в хвостовой позиции, то нам не нужно стэк накапливать. И это справделиво не только в рамках одной функции, можно и между функциями так делать
да, стек в этом случае не нужен, такая штука однозначно в цикл while какой нибудь переписывается
VP
Не знаю, в рантайме этот анализ делается или в компайл тайме
в кложе loop/recur-у достаточно посмотреть на синтаксис, поэтому в компайл тайме
MB
В общем, в итоге это просто позволяет написать стейт машину в виде функций. Нужно ли это, хз :)
VP
это макрос, он просто смотрит в код и говорит "ай ай, ты recur дергаешь не последним"
З.Ы. ему видимо за этим и нужно + 2 слова (loop и recur), чтобы рекурсивные вызовы явно обозначить
З.Ы. ему видимо за этим и нужно + 2 слова (loop и recur), чтобы рекурсивные вызовы явно обозначить
VP
а с mutual recursion компайл тайма видимо недостаточно
MB
Да вроде достаточно, просто не по одной функции нужно компилировать
MB
Кому-нибудь приходилось trampoline использовать?
KC
регулярно использую