类型推导算法在函数式语言中非常有用,本算法是最常用的类型推导算法