楼主所说的 lambda calculus 是无类型 lambda 演算，就是 Church 提出的那个，是一套计算系统（计算模型，whatever ），目的就是拿来研究计算过程（函数定义、函数应用、递归函数 blabla ）。

有什么用呢，lambda calculus 和图灵机等价，那么可以拿来制造计算机（广义，可以用来计算的机器），设计编程语言啊（如 Lisp ）。

然而我们现在用的 CPU 都是基于图灵机的，所以就算是 Lisp 也仅仅是用图灵机模拟的 lambda 演算。

那么事实上，学这个的作用，就是满足自己的好奇心了吧（笑

当然由 lambda calculus 发展而来的很多概念，是可以提升编程能力的，比如 closure，continuation 等等。

欢迎进一步的讨论