回答情况：
提问时间：
问题标签：
我读到了Hindley-Milner算法，找到了一个我可以实现的很好的例子的文档。它适用于一组T1 = T2 like约束。
浏览 8修改于2011-07-22得票数 13
回答已采纳
我对类型推断还很陌生，我想知道是否有什么好的扩展或论文可以让HM允许出现多个错误。 我可能遗漏了一些东西，但是如果存在统一错误，类型检查器可以在类型上下文“有毒”的情况下继续进行吗？
浏览 15提问于2021-01-24得票数 2
根据Hindley-Milner的说法，f []会检查Int的类型。在Hindley-Milner中，我们可以将一个多态类型应用到另一个类型，而不指定我们使用的实例，这不是很奇怪吗？
更具体地说，是什么阻止了我在f的实现中使用a类型？
浏览 5提问于2018-08-10得票数 7
回答已采纳
据我所知，它没有使用标准的Hindley-Milner统一算法。生存期必须是两个生存期的内部作用域或某个交集。
生命周期推断是与标准类型推断完全不同的过程吗？
浏览 0修改于2017-04-21得票数 4
我有通过类型擦除工作的解决方案，但我更愿意找到一种方法来生成CIL代码，以反映(至少在某种程度上)我的源语言的Hindley-Milner类型系统(例如，通过生成泛型类)。
浏览 2修改于2011-11-04得票数 3
回答已采纳
1回答
使用Hindley-Milner类型推断的某种变体的编程语言可以很容易地推断出表达式的类型，例如而C++1y中的返回类型推断由于以下原因而失败
浏览 4修改于2014-02-08得票数 4
我正在开发一个函数式编程语言的解释器，它使用Hindley-Milner类型的系统。
问题是，类型错误应该在哪里发生(被检测到)？
浏览 2提问于2018-03-16得票数 0
我正在阅读一个名为的函数式编程教程，作者介绍了Hindley-Milner及其几个例子，其中之一是：var reduce
浏览 8提问于2021-04-14得票数 1
回答已采纳
据我所知，Hindley-Milner类型的推理算法建立在一般统一的基础上，难道不能使用'b ---> 'a list来统一'b:list和'a:list list吗
编辑:一个答案表明这可能与类型推断算法有关
浏览 4修改于2009-12-06得票数 0
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号