λ 演算 λ 演算是一套从数学逻辑中发展，来研究函数如何进行抽象化定义、如何被应用以及递归的形式系统。定义比较抽象，简而言之就是研究函数形成的一套方法，一种语言（有一套自成体系的简洁语法），并作为一种