lambda calculus 解决了什么问题? 为什么会出现这个理论? 为什么说它很有价值?

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

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

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

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

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

欢迎进一步的讨论

Lambda Calculus 是 Functional Programming 的妈，可以将它看作一门极度简化，直接触及本质的编程语言。所谓万变不离其宗，学扎实了 Lambda Calculus ，那以后无论遇到什么千奇百怪的 Functional Language [Lisp, Haskell, OCaml...] 都可以快速上手。

@Maxzzz 你觉得 Y combinator 有没有必要搞懂。

原始论文里用 function 表达正整数，表达加减乘除。
很简单的概念，全都用函数构造，看起来都差不多，只有烧脑。
我相信 string (list of chars)、hash map 这种结构用函数也都能表示。
但是写程序的时候用不到这种“技能”。

@nthhdy 如果你是做编程语言工作或者公司主力语言是函数式语言（例如 Jane Street 。Y combinator 肯定要搞懂的，不然如一楼所说，没有机会也没有兴趣接触 Functional Programming ，那 Lambda Calculus 可能确实没什么必要学习。