abcdabcd987
V2EX  ›  Lisp

Scheme 与 Church Number

  •  
  •   abcdabcd987 · Jul 2, 2015 · 6931 views
    This topic created in 3975 days ago, the information mentioned may be changed or developed.

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

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

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

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

    好吧,可能是有点啰嗦了,不过我的关注点并不在于 (add-1 zero) 直接展开的结果,而在于怎么用一个比较科学的方式解释这个事情。直接展开大家都会的,毕竟就是一个程式化的做法,但是我觉得要悟到其中精妙的地方,还是要想个合理的解释的 :-)
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   3326 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 39ms · UTC 11:19 · PVG 19:19 · LAX 04:19 · JFK 07:19
    ♥ Do have faith in what you're doing.