Lambda calculus 介绍

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

This topic created in 4229 days ago, the information mentioned may be changed or developed.

最近公司内部做lambda的分享，我以前以为lambda就是lisp，后来经过1周左右的查资料，发现自己图样图森破。

lambda里面的东西还是挺有趣，在这做了个总结，希望对大家有帮助 :-)

http://liujiacai.net/blog/2014/10/12/lambda-calculus-introduction/

lambda

Lisp

图样

9 replies • 2014-10-14 01:20:39 +08:00

htedsv

Oct 12, 2014

写的很好，给赞

miaoever

Oct 12, 2014

原来也写过一篇 <λ-演算与编码>，献丑了:）

http://miaoo.in/intro-to-lambda-calculus.html

riaqn

Oct 12, 2014

lz，evaluation翻译成求值会不会更好.

lcj2class

Oct 12, 2014

@riaqn 恩，求值确实好些，原文已经更正。谢谢~~

lcj2class

Oct 12, 2014

@htedsv 看了你的博客，内容写的也很不错，相见很晚呀

luoqeng

Oct 13, 2014

『lambda calculus 虽然直观，比较起来，SKI算子提供了一个可以逻辑推导的steps，譬如lambda里面天外飞仙一般的Y，在SKI里面的推导更有迹可循。SKI可以看作右节点不是树的最简单的二叉树，高度分别为321，而所谓的curry化过程，吃进一个参数，吐回一个函数，能接受一个参数的函数』

htedsv

Oct 13, 2014

@lcj2class ^_^

kamushin

Oct 13, 2014

非常棒的文章。
其中对于图灵机的解释，我觉得可能略显混乱，又是cpu，又是纸带的..
我理解中的图灵机应该是这样的，
有状态集，输入串，转移函数，开始状态和结束状态，根据当前状态和当前指针指向的输出串中的字符来进行转移（包括修改状态、修改这个字符以及指针位置的左右移动）。

lcj2class

Oct 14, 2014

@kamushin 确实，你总结的比我深刻。学习了