牛有肉

摘要： 前言 学习 λ 演算的初衷是为了更好的使用 JAVA8 的 lamda表达式，但是在学习过程中发现 λ 演算的作用和深度远远比想象的大的多得多。λ 演算的定义并不复杂，包括一条变换规则（变量替换）和一条函数定义方式，但其外延却囊括和渗透到了无数方向，乃至学习过程中脑中不断冒出一句话：内涵越小、外延越 阅读全文