V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
lcj2class
V2EX  ›  程序员

Lambda calculus 介绍

  •  
  •   lcj2class · 2014-10-12 14:51:35 +08:00 · 3787 次点击
    这是一个创建于 3679 天前的主题,其中的信息可能已经有所发展或是发生改变。
    最近公司内部做lambda的分享,我以前以为lambda就是lisp,后来经过1周左右的查资料,发现自己图样图森破。

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

    http://liujiacai.net/blog/2014/10/12/lambda-calculus-introduction/
    9 条回复    2014-10-14 01:20:39 +08:00
    htedsv
        1
    htedsv  
       2014-10-12 16:04:46 +08:00
    写的很好,给赞
    miaoever
        2
    miaoever  
       2014-10-12 17:28:30 +08:00
    原来也写过一篇 <λ-演算与编码>,献丑了:)

    http://miaoo.in/intro-to-lambda-calculus.html
    riaqn
        3
    riaqn  
       2014-10-12 18:02:56 +08:00
    lz,evaluation翻译成求值会不会更好.
    lcj2class
        4
    lcj2class  
    OP
       2014-10-12 20:11:16 +08:00
    @riaqn 恩,求值确实好些,原文已经更正。谢谢~~
    lcj2class
        5
    lcj2class  
    OP
       2014-10-12 21:03:25 +08:00
    @htedsv 看了你的博客,内容写的也很不错,相见很晚呀
    luoqeng
        6
    luoqeng  
       2014-10-13 02:47:36 +08:00
    『lambda calculus 虽然直观,比较起来,SKI算子提供了一个可以逻辑推导的steps,譬如lambda里面天外飞仙一般的Y,在SKI里面的推导更有迹可循。SKI可以看作右节点不是树的最简单的二叉树,高度分别为321,而所谓的curry化过程,吃进一个参数,吐回一个函数,能接受一个参数的函数』
    htedsv
        7
    htedsv  
       2014-10-13 03:53:19 +08:00
    kamushin
        8
    kamushin  
       2014-10-13 20:20:25 +08:00
    非常棒的文章。
    其中对于图灵机的解释,我觉得可能略显混乱,又是cpu,又是纸带的..
    我理解中的图灵机应该是这样的,
    有状态集,输入串,转移函数,开始状态和结束状态,根据当前状态和当前指针指向的输出串中的字符来进行转移(包括修改状态、修改这个字符以及指针位置的左右移动)。
    lcj2class
        9
    lcj2class  
    OP
       2014-10-14 01:20:39 +08:00
    @kamushin 确实,你总结的比我深刻。学习了
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5148 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 25ms · UTC 05:45 · PVG 13:45 · LAX 21:45 · JFK 00:45
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.