这是一个创建于 3730 天前的主题，其中的信息可能已经有所发展或是发生改变。
最近公司内部做lambda的分享，我以前以为lambda就是lisp，后来经过1周左右的查资料，发现自己图样图森破。
lambda里面的东西还是挺有趣，在这做了个总结，希望对大家有帮助 :-)
http://liujiacai.net/blog/2014/10/12/lambda-calculus-introduction/
lambda里面的东西还是挺有趣，在这做了个总结，希望对大家有帮助 :-)
http://liujiacai.net/blog/2014/10/12/lambda-calculus-introduction/
 |
1
htedsv 2014-10-12 16:04:46 +08:00
写的很好，给赞
|
 |
2
miaoever 2014-10-12 17:28:30 +08:00
|
 |
3
riaqn 2014-10-12 18:02:56 +08:00
lz，evaluation翻译成求值会不会更好.
|
 |
6
luoqeng 2014-10-13 02:47:36 +08:00
『lambda calculus 虽然直观，比较起来，SKI算子提供了一个可以逻辑推导的steps，譬如lambda里面天外飞仙一般的Y，在SKI里面的推导更有迹可循。SKI可以看作右节点不是树的最简单的二叉树，高度分别为321，而所谓的curry化过程，吃进一个参数，吐回一个函数，能接受一个参数的函数』
|
 |
8
kamushin 2014-10-13 20:20:25 +08:00
非常棒的文章。
其中对于图灵机的解释，我觉得可能略显混乱，又是cpu，又是纸带的.. 我理解中的图灵机应该是这样的， 有状态集，输入串，转移函数，开始状态和结束状态，根据当前状态和当前指针指向的输出串中的字符来进行转移（包括修改状态、修改这个字符以及指针位置的左右移动）。 |
Select Language