Хвостовая рекурсия является важной стратегией оптимизации производительности в функциональных языках, поскольку она позволяет рекурсивным вызовам использовать постоянный стек (а не O (n)).

Существуют ли проблемы, которые просто не могут быть написаны в хвостовой рекурсивной манере, или всегда можно преобразовать наивно-рекурсивную функцию в хвостовую рекурсивную?

Если так, могут ли когда-нибудь функциональные компиляторы и интерпретаторы быть достаточно умными, чтобы выполнить преобразование автоматически?