This is lambda calculus
t ::= x | \lambda x. t | t t'
It is not a function. It is a language. It is Turing complete, not Turing machine.
版主: hci
This is lambda calculus
t ::= x | \lambda x. t | t t'
It is not a function. It is a language. It is Turing complete, not Turing machine.


noid2 写了: 2025年 10月 27日 16:35介绍Lambda好处的文章随处可见,特别是提供了这个功能的编程语言。
其中一个被强调的好处是增加了代码的可读性!!!我是强烈不同意。
想听听大家的评论。
习惯了确实更好读
lamda倒是能增加一点可读性,因为代码量小了。
noid2 写了: 2025年 10月 27日 16:35介绍Lambda好处的文章随处可见,特别是提供了这个功能的编程语言。
其中一个被强调的好处是增加了代码的可读性!!!我是强烈不同意。
想听听大家的评论。
hci 写了: 2025年 10月 28日 11:28OOP没有什么理论基础。其发明者Alan Kay,图灵奖得主,与Clojure的发明人Rich Hickey,一个学音乐的,两人辩论,Kay还辩不过。为啥,因为OOP没有什么深度,本质就是一个基于仿真的比较随意的主意,适用于某些领域,如此而已。
函数式编程比OOP要古老,是有强大理论基础的,不仅仅是一个随意的主意。上面有人说了,lambda calculus是与图灵机是等价的,所以从理论上说,lambda is all you need.
既然函数式更古老,你就举个古老的例子。