• 【SICP练习】67 练习2.38


    

    练习2.38

    这道题比较有意思了,我们先来将fold-leftaccumulate类比,accumulate是递归,而fold-left是迭代。前者通过不断地将(op result (car rest)变换成initial,通过将(cdr rest)变换成sequence,而rest一开始其实就是sequenceresult一开始则是initial

    result——(op result (car rest))

    rest——(cdr rest)

    因此我们将(fold-left / 1 (list 1 2 3))展开如下:

    (iter 1 ‘(1 2 3))

    (iter (/ 1 1) ‘(2 3))

    (iter (/ (/ 1 1) 2) ‘(3))

    (iter (/ (/ (/ 1 1) 2) 3) ‘())

    (/ (/ (/ 1 1) 2) 3)

    (/ (/ 1 2) 3)

    (/ 1/2 3)

    1/6

    既然书上说了accumulate又称为fold-right,也就是accumulate的定义同样适用于fold-right了。而它就更加简单了:(/ 1 (/ 2 (/ 3 1) ) ),也就是3/2

    将其中的值代换一下得到:(list 1 (list 2 (list 3 ‘() ) ) ),也就是(1 (2(3 () ) ) ),这就是第三小题的结果了。

    而第四小题将第二小题的过程代换一下就是如此:(list (list (list ‘() 1) 2) 3),也就是( ( ( ‘()1) 2) 3)

    如果要让fold-leftfold-right对任何序列产生相同的结果,那么就需要传说中的结合律了。不管从左边操作过去,还是从右边操作过来,都是一样的结果。最简单的就是加法了,而且andor一类的函数也可以达到相同的效果。

    版权声明:本文为 NoMasp柯于旺 原创文章,如需转载请联系本人。

  • 相关阅读:
    cs11_c++_lab4a
    cs11_c++_lab3
    cs11_c++_lab2
    cs11_c++_lab1
    Oracle 11.2.4.0 ACTIVE DATAGUARD 单实例安装(COPY创建备库)
    无备份恢复(归档模式)
    rman datafile恢复(归档模式)
    GHOST(幽灵)重大漏洞
    Windows Linux 之间rsync同步CODE文件
    Centos 6.5 SNMP客户端安装及配置版本net-snmp-5.7.3
  • 原文地址:https://www.cnblogs.com/NoMasp/p/4786152.html
Copyright © 2020-2023  润新知