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

推导 Y 组合子的意义是什么?

  •  
  •   pythonee · 2022-02-19 12:03:00 +08:00 · 1933 次点击
    这是一个创建于 1016 天前的主题,其中的信息可能已经有所发展或是发生改变。

    刚刚费了九牛二虎之力,把 the little schemer 的这一节看完,搜了很多资料,总算能理解推导过程。

    但是作为非计算科学,我好奇为什么不直接加一个 define 关键字呢?

    2 条回复    2022-02-19 19:05:24 +08:00
    Origami404
        1
    Origami404  
       2022-02-19 12:49:48 +08:00 via Android
    因为有 y 组合子就可以不用 define 了,数学上当然是选择最少的公理。而且可以引用自己的 define 在数学上有循环定义的嫌疑
    aflow
        2
    aflow  
       2022-02-19 19:05:24 +08:00
    编程实践中意义不大,理论上的意义更大些。我之前也花了不少功夫理解,现在再看的时候又迷糊了。
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2619 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 07:13 · PVG 15:13 · LAX 23:13 · JFK 02:13
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.