Hindley–Milner type system

ML和Haskell派生的缩进不敏感的语法。类型系统基于了Hindley–Milner类型系统（英语：Hindley–Milner type system），还并具有各种扩展，比如唯一类型（英语：Uniqueness type）和大小依赖类型。Futhark不意图成为编写完全应用的通用编程语

message （页面存档备份，存于互联网档案馆） by Roger Hindley explaining the history of type inference Implementation of Hindley-Milner in Perl 5, by Nikita Borisov (via

Computation 13: 11–49. 2000. doi:10.1023/A:1010000313106.  Hindley, J. Roger, The principal type scheme of an object in combinatory logic, Transactions of

F的Curry-风格的变体是不可判定的，它缺乏明显的类型提示。[1] [2] Wells的结果暗含着系统F的类型推论是不可能的。一个限制版本的系统F叫做"Hindley-Milner"，或简称"HM"，有一个容易的类型推论算法，并用于了很多强类型的函数式编程语言，比如Haskell和ML。 Girard, Lafont

ML（Meta Language：元语言），是一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式（英语：Expression (computer science)）的类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了