Pull to refresh

Comments 7

поставь кат а то заминусуют не читая
Слово «рекурсия» пишется с одной буквой «к».
UFO just landed and posted this here
> а пока отправляюсь пить из синеньких бутылочек.
Ой зря :)
Ох, если хотя бы три человека со всего хабра поймут, о чем собсно статья, то… то значит она не зря была написана :)
В последнем случае (а это map по сути) с энергичным списком вроде никак не выкрутиться: если хвостовая рекурсия, то либо последующее обращение списка, либо переписывание в CPS с разменом стека на кучу. Так что здесь рулят ленивость и stream fusion.
Всё это похоже на переписывание примитивной рекурсии в терминах foldl. Какие из этого следствия, сейчас не соображу.
Цель была формализовать переделку рекурсии в foldl, или установление невозможности такого преобразования.
Sign up to leave a comment.

Articles