Lambda calculus 介绍

2014-10-12 14:51:35 +08:00
 lcj2class
最近公司内部做lambda的分享,我以前以为lambda就是lisp,后来经过1周左右的查资料,发现自己图样图森破。

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

http://liujiacai.net/blog/2014/10/12/lambda-calculus-introduction/
3833 次点击
所在节点    程序员
9 条回复
htedsv
2014-10-12 16:04:46 +08:00
写的很好,给赞
miaoever
2014-10-12 17:28:30 +08:00
原来也写过一篇 <λ-演算与编码>,献丑了:)

http://miaoo.in/intro-to-lambda-calculus.html
riaqn
2014-10-12 18:02:56 +08:00
lz,evaluation翻译成求值会不会更好.
lcj2class
2014-10-12 20:11:16 +08:00
@riaqn 恩,求值确实好些,原文已经更正。谢谢~~
lcj2class
2014-10-12 21:03:25 +08:00
@htedsv 看了你的博客,内容写的也很不错,相见很晚呀
luoqeng
2014-10-13 02:47:36 +08:00
『lambda calculus 虽然直观,比较起来,SKI算子提供了一个可以逻辑推导的steps,譬如lambda里面天外飞仙一般的Y,在SKI里面的推导更有迹可循。SKI可以看作右节点不是树的最简单的二叉树,高度分别为321,而所谓的curry化过程,吃进一个参数,吐回一个函数,能接受一个参数的函数』
htedsv
2014-10-13 03:53:19 +08:00
kamushin
2014-10-13 20:20:25 +08:00
非常棒的文章。
其中对于图灵机的解释,我觉得可能略显混乱,又是cpu,又是纸带的..
我理解中的图灵机应该是这样的,
有状态集,输入串,转移函数,开始状态和结束状态,根据当前状态和当前指针指向的输出串中的字符来进行转移(包括修改状态、修改这个字符以及指针位置的左右移动)。
lcj2class
2014-10-14 01:20:39 +08:00
@kamushin 确实,你总结的比我深刻。学习了

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/138453

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX