Scala的类型系统的哪个属性使其图灵完整？
Scala的类型系统的哪个属性使其图灵完整？
提问于 2011-12-14 07:36:34
Scala使用基于System Fω的类型系统，这通常被认为是强规范化的。强规范化意味着非图灵完备性。
然而，Scala的类型系统是Turing-complete的。
与正式的算法和系统相比，哪些更改/添加/修改使Scala的类型系统图灵完整？
回答 1
Stack Overflow用户
回答已采纳
发布于 2011-12-14 20:05:36
这不是一个全面的答案，但原因是您可以定义递归类型。
我以前也问过类似的问题(about what a non-Turing complete language might look like)。答案是这样的:图灵完整语言必须支持任意循环或递归。Scala的类型系统支持后者
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/8497786
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号