相关疑难解决方法(0)

我遇到了这个术语Hindley-Milner,我不确定是否掌握了它的含义.

我看过以下帖子:

• Steve Yegge - 动态语言反击
• Steve Yegge - Pinocchio问题
• Daniel Spiewak - 什么是Hindley-Milner？(为什么它很酷？)

但是维基百科中没有单一的条目,通常会给我一个简明的解释.
^{注意 - 现在添加了一个}

它是什么？
哪些语言和工具实现或使用它？
你能提供一个简明的答案吗？