Vi esta cita en la pregunta:¿En qué consiste un buen lenguaje funcional para construir un servicio web?

Scala, en particular, no admite la eliminación de llamadas de cola, excepto en las funciones auto-recursivas, que limitan los tipos de composición que puede hacer (esta es una limitación fundamental de la JVM).

¿Es esto cierto? Si es así, ¿de qué se trata la JVM que crea esta limitación fundamental?