madf

You're viewing

madf's journal
Create a Dreamwidth Account Learn More

Reload page in style: site light

Довго думав що воно мені нагадує. Читаючи останній випуск "Практики функціонального програмування" зрозумів: скінченний автомат на неявних непрямих хвостових рекурсивних викликах. Неявних тому що рекурсія там замінена чергою викликів. Тобто заздалегідь проведена оптимізація хвостової рекурсії :)