函数式编程

函数式编程的起源，是一门叫做范畴论(Category Theory)的数学分支。

函数的合成与柯里化

函数式编程有两个最基本的运算：合成和柯里化。