Lambda calculus 介绍

[lcj2class]

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

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

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

[htedsv]

写的很好，给赞

[miaoever]

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

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

[riaqn]

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

[lcj2class]

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

[lcj2class]

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

[luoqeng]

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

[htedsv]

@lcj2class ^_^

[kamushin]

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

[lcj2class]

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