Widziałem ten cytat na pytanie:Jaki jest dobry język funkcjonalny, na którym można zbudować usługę internetową?

Scala w szczególności nie obsługuje eliminacji wywołań ogonowych, z wyjątkiem funkcji samo-rekurencyjnych, które ograniczają rodzaje kompozycji, które można wykonać (jest to podstawowe ograniczenie JVM).

Czy to prawda? Jeśli tak, co to jest w JVM, które tworzy to podstawowe ograniczenie?