为什么Scala中的高阶统一被认为是局部的？
为什么Scala中的高阶统一被认为是局部的？
提问于 2021-06-27 10:57:44
增加对类型构造函数#5102的部分统一的支持最初提供了标志下的特性
-Yhigher-order-unification但后来将它重命名为
-Ypartial-unification因为它似乎不是完全的高阶统一
“部分类型应用程序推断”可能是一个比“高阶统一”更好的术语，而这一点肯定不是。
将其重命名为
-Ypartial-unification以反映这一事实，它没有实现一般的HOU算法。
部分统一与高阶统一有何不同？在什么意义上，Scala没有实现更高层次的统一？当Scala无法执行HOU时，您能用一个具体的代码片段演示吗？
回答 1
Stack Overflow用户
发布于 2021-06-27 12:56:15
一般说来，Scala实现只有在“缺失”类型是最正确的类型时才能执行更高级别的统一。
丹尼尔·斯皮瓦克用一个函子实例演示了这一点，它的类型基本上是Either，但左偏。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/68150413
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号