λ-Calculus: 道生万物

函数抽象的演绎之理

现在看来这个标题属实有点中二了 >_<