我遇到了这个术语Hindley-Milner,我不确定是否掌握了它的含义.
我看过以下帖子:
但是维基百科中没有单一的条目,通常会给我一个简明的解释. 注意 - 现在添加了一个
它是什么? 哪些语言和工具实现或使用它? 你能提供一个简明的答案吗?
types functional-programming inference hindley-milner
functional-programming ×1
hindley-milner ×1
inference ×1
types ×1