Hindley-Milner类型推导

Hindley-Milner类型推导是类型理论领域的经典算法，由Hindley和Milner分别独立发现，能在无需程序员显式标注的情况下自动推断表达式的最一般类型，是ML系列语言的核心类型系统基础