ml

类型变量能帮助实现多态 可以有类型推断但没有类型变 …

函数式编程主要体现在，1.避免数据可变 2.把函数 …

调用函数的时候用的是位置，定义函数的时候用的是变量 …

Conside three things: Syn …