scala - Scala 类型系统的哪些属性使其具有图灵完备性？

Question

已关闭。这个问题是 off-topic 。目前不接受答案。

---

想要改进这个问题吗？ Update the question所以它是on-topic用于堆栈溢出。

已关闭11 年前。

Improve this question

Scala 使用基于 System F ω 的类型系统，通常被认为是强标准化的。强标准化意味着非图灵完备性。

尽管如此，Scala 的类型系统是图灵完备的。

与正式算法和系统相比，哪些更改/添加/修改使 Scala 的类型系统图灵完备？

Answer 1

这不是一个全面的答案，但原因是您可以定义递归类型。

我之前问过类似的问题(about what a non-Turing complete language might look like)。答案的形式如下:图灵完备语言必须支持任意循环或递归。 Scala 的类型系统支持后者