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

Scheme 与 Church Number

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

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

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

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

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

    好吧,可能是有点啰嗦了,不过我的关注点并不在于 (add-1 zero) 直接展开的结果,而在于怎么用一个比较科学的方式解释这个事情。直接展开大家都会的,毕竟就是一个程式化的做法,但是我觉得要悟到其中精妙的地方,还是要想个合理的解释的 :-)
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5503 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 08:25 · PVG 16:25 · LAX 01:25 · JFK 04:25
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.