我在这个问题上看到了这句话：What is a good functional language on which to build a web service?
特别是 Scala 不支持尾调用消除，除非在自递归函数中，这限制了您可以执行的组合类型（这是 JVM 的基本限制）。
这是真的吗？如果是这样，那么造成这种基本限制的 JVM 是什么？
【问题讨论】：
标签： java jvm scala tail-recursion
这篇文章：Recursion or Iteration? 可能会有所帮助。
简而言之，由于安全模型和需要始终提供可用的堆栈跟踪，尾调用优化很难在 JVM 中进行。这些要求理论上可以得到支持，但可能需要一个新的字节码（参见John Rose's informal proposal）。
Sun bug #4726340 也有更多讨论，评估（从 2002 年开始）到此结束：
我相信这仍然可以完成，但这不是一项小任务。
目前，Da Vinci Machine 项目正在进行一些工作。尾调用子项目的状态列为“proto 80%”；它不太可能进入 Java 7，但我认为它很有可能进入 Java 8。
【讨论】：
基本的限制只是 JVM 在其字节码中不提供尾调用，因此，构建在 JVM 上的语言没有直接的方法来提供尾调用本身。有一些变通方法可以达到类似的效果（例如蹦床），但它们的代价是糟糕的性能和混淆生成的中间代码，从而使调试器无用。
因此，在 Sun 在 JVM 本身中实现尾调用之前，JVM 无法支持任何生产质量的函数式编程语言。他们已经讨论了多年，但我怀疑他们是否会实现尾调用：这将非常困难，因为他们在实现此类基本功能之前过早地优化了他们的虚拟机，而且 Sun 的工作重点是动态语言而不是函数式语言。
因此，有一个非常强烈的论点，即 Scala 不是一种真正的函数式编程语言：自 30 多年前首次引入 Scheme 以来，这些语言将尾调用视为一项基本功能。
【讨论】：
Hence there is a very strong argument that Scala is not a real functional programming language - 这个论点实际上很弱。当然是tail calls [as] an essential feature，如果底层硬件（或虚拟机）直接支持它，那就太好了。但这是实现细节。
Scala 2.7.x 支持对 final 方法和局部函数的自递归（一个函数调用自身）进行尾调用优化。
Scala 2.8 也可能带有对 trampoline 的库支持，这是一种优化相互递归函数的技术。
关于 Scala 递归状态的大量信息可以在 Rich Dougherty's blog 中找到。
【讨论】：
除了 Lambda The Ultimate 中链接的论文（来自上面发布的 mmyers 链接），来自 Sun 的 John Rose 对尾调用优化还有更多要说的。
http://blogs.oracle.com/jrose/entry/tail_calls_in_the_vm
我听说有一天它可能会在 JVM 上实现。在达芬奇机器上正在研究尾呼叫支持等。
【讨论】：
所有消息来源都指向 JVM 在尾递归的情况下无法优化，但在阅读 Java performance tuning (2003, O'reilly) 后，我发现作者声称他可以通过实现尾递归来实现更高的递归性能。
您可以在第 212 页找到他的声明（搜索“尾递归”应该是第二个结果）。什么给了？
【讨论】：