什么是Hindley-Milner？
什么是Hindley-Milner？
提问于 2018-03-30 08:12:37
我遇到了这个术语Hindley-Milner，我不确定是否掌握它的意思。 Steve Yegge - 动态语言反击 Steve Yegge - 木偶奇遇记问题 Daniel Spiewak - 什么是Hindley-Milner？ 它是什么？ 哪些语言和工具实现或使用它？ 你能提供一个简洁的答案吗？
回答 2
Stack Overflow用户
发布于 2018-03-30 16:54:22
- 它支持多态函数；例如，一个函数可以给出与元素类型无关的列表长度，或者一个函数可以独立于存储在树中的键类型进行二叉树查找。
- 有时函数或值可以具有多种类型，如Length函数的示例所示：它可以是“整数到整数的整数列表”、“字符串到整数的列表”、“对整数的列表”，等等。在这种情况下，辛德雷-米尔纳系统的一个信号优势是每个类型良好的术语都有唯一的“最佳”类型。，这称为主要类型.列表长度函数的主要类型是“任意”。
a，从a为整数“。在这里a是所谓的“类型参数”，它是Lambda演算中的显式但在大多数编程语言中隐含。 - 如果一个词有印地语-米尔纳语，然后可以推断主体类型，而不需要任何类型声明。或者程序员的其他注释。(这是一个好坏参半的祝福，任何人都可以证明，谁都曾在没有注释的情况下处理过大量的ML代码。)
Stack Overflow用户
发布于 2018-03-30 17:24:27
你可以使用谷歌学者或CiteSeer--或者你当地的大学图书馆--找到原始论文。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/-100007881
复制相关文章
相似问题