Boost.Asio

[madf]

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