lambda calculus 最让你震撼人心的是啥
一切皆函数，自然数也是函数
■网友
1.「一切」总都是函数
【lambda calculus 最让你震撼人心的是啥】 2. 但是函数仅仅是函数，不是一切，它只是「看上去」「用起来」很像「一切」
■网友
说说自己比一切皆函数更进一步的理解吧：函数与值的统一。
1.一切皆函数。所以lambda calculus是只有一条归约规则的最简运算模型。
2.一切皆值。所以lambda calculus对函数与值的操作是完全一致的。这种计算模型可以实现高阶函数，成为了函数式编程的基础。
相比之下，图灵机的tape和transition function两个概念还是分离的。
另外个人用计算模式的抽象过程可以类比计算机的发展。
起初我们有算盘，它可以用来记录特定数据，但我们依旧需要脑内的方程来进行运算。
后来我们有了差分机等等special purpose computer，它们本身相当于一个与具体数值无关的方程，即一阶方程。它可以操作数值，但不可以操作其他函数。
最后我们有了冯·诺依曼，在他的general purpose computer中，值与函数在底层的实现是统一的。硬件并不去分辨一段00101001是具体的值还是函数。冯·诺依曼的机器相当于一个高阶函数解释器，高阶函数（可以操作函数的函数）抽象的具体实现，其对待值与函数的方式与lambda calculus解释器是一致的。所以我们就知道了，冯诺依曼的general purpose computer结构为什么一定会被设计成这样。
推荐阅读
- 电池|谁说家用紧凑SUV不能更运动？全新领克01让你“打脸”了
- |酒喝多了难受怎么办？教你几招，简单实用，让你快速醒酒，收藏了
- 有哪些剪辑和特效让你深入心底的视频，电影，mv，或广告，宣传片
- 汽车|现代进口中大型SUV，30万以内的V6，能让你放弃汉兰达吗？
- 光明网|兰州：不介绍新学员 就不让你练车 ？驾校：确实存在管理漏洞，会监督教练处理退费问题
- 环球车讯网|沃尔沃XC60有何出人意料之处？9英寸大屏让你旅途更愉快！
- 让你觉得有情怀的互联网产品有哪些
- 摩托车|这才是骑士最该入手的新年礼物。让你一整年保持“机”情！
- 汽车白话|长安欧尚X5的“平方学” 让你用车十年无忧
- 360的网站名牌和百度信誉V认证有啥用