首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
宝塔
V2EX  ›  Lisp

Scheme 与 Church Number

  •  
  •   abcdabcd987 · 2015-07-02 23:02:21 +08:00 · 2999 次点击
    这是一个创建于 1602 天前的主题,其中的信息可能已经有所发展或是发生改变。

    今天看到SICP第二章 Church Number 的习题,感觉非常的有意思,写了篇博客,欢迎大家来指导

    https://abcdabcd987.com/scheme-church-number/

    2 回复  |  直到 2015-07-28 21:05:00 +08:00
        1
    kcworms   2015-07-11 22:23:49 +08:00
    感觉有一个缺点是一大段解说越看越不明白,不如自己动手把(add-1 zero)展开看看结果。

    顺便问一下“也就是说 (zero f) 实际上就是一个 id 的函数”里的id是什么呢(我数学不好……)
        2
    abcdabcd987   2015-07-28 21:05:00 +08:00
    @kcworms 嗯……其实我这里想说的是,这个函数会接受一个参数,然后返回这个参数
    类似于线性变换中的恒等变换
    类似于取一个数的1次幂

    好吧,可能是有点啰嗦了,不过我的关注点并不在于 (add-1 zero) 直接展开的结果,而在于怎么用一个比较科学的方式解释这个事情。直接展开大家都会的,毕竟就是一个程式化的做法,但是我觉得要悟到其中精妙的地方,还是要想个合理的解释的 :-)
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   3652 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 36ms · UTC 05:29 · PVG 13:29 · LAX 21:29 · JFK 00:29
    ♥ Do have faith in what you're doing.