La recursión de cola es una estrategia importante de optimización del rendimiento en lenguajes funcionales porque permite que las llamadas recursivas consuman una pila constante (en lugar de O (n)).

¿Hay algún problema que simplemente no se pueda escribir en un estilo recursivo de la cola, o es siempre posible convertir una función ingenuamente recursiva en una recursiva de la cola?

Si es así, ¿algún día podrían los compiladores e intérpretes funcionales ser lo suficientemente inteligentes como para realizar la conversión automáticamente?