本文介绍了基本的λ演算,λ演算是函数式编程的基础。