函数式编程的基石 —— Lambda Calculus(Functional Programming)
在lambda演算中,函数是一等公民。可以把函数作为参数传入或返回,把函数赋值给一个变量等等。Y组合子函数lambdacalculus:λ定义通过lambda,currying,closure,alpha,beta可以定义出一个"完备"的计算体系.在此之上,我们可以构造出任意复杂的程序.要描述一个形式系统,我们首先需要约定用到的基本符号,对于本系列所介绍的lambda演算,其符号集包括λ.()和变