这是一个创建于 4092 天前的主题，其中的信息可能已经有所发展或是发生改变。
最近公司内部做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