Функциональное программирование :: реккурсивные функции

[Frodo]

поставь кат а то заминусуют не читая

[maratikus]

Слово «рекурсия» пишется с одной буквой «к».

[n1mnul]

> а пока отправляюсь пить из синеньких бутылочек.
Ой зря :)

[Exabiche]

Ох, если хотя бы три человека со всего хабра поймут, о чем собсно статья, то… то значит она не зря была написана :)

[khayrov]

В последнем случае (а это map по сути) с энергичным списком вроде никак не выкрутиться: если хвостовая рекурсия, то либо последующее обращение списка, либо переписывание в CPS с разменом стека на кучу. Так что здесь рулят ленивость и stream fusion.
Всё это похоже на переписывание примитивной рекурсии в терминах foldl. Какие из этого следствия, сейчас не соображу.

[Grass]

Цель была формализовать переделку рекурсии в foldl, или установление невозможности такого преобразования.