图拉的类型系统的哪个属性使图灵完整？
发布时间：2020-12-16 09:45:18 所属栏目：安全 来源：网络整理
导读：Scala使用基于系统Fω的类型系统，这通常被称为强规范化。强规正化意味着非图灵的完整性。 然而，Scala的类型系统是图灵完成。 与正式算法和系统相比，哪些更改/添加/修改使Scala的类型系统Turing完整？ 解决方法 这不是一个全面的答案，但原因是您可以定义
|
Scala使用基于系统Fω的类型系统，这通常被称为强规范化。强规正化意味着非图灵的完整性。
然而，Scala的类型系统是图灵完成。 与正式算法和系统相比，哪些更改/添加/修改使Scala的类型系统Turing完整？ 解决方法
这不是一个全面的答案，但原因是您可以定义递归类型。
(about what a non-Turing complete language might look like)之前我已经提过类似的问题。答案的形式是：图灵完整的语言必须支持任意循环或递归。 Scala的系统支持后者 （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |