SICP Exercise 3.52

seq的内容正常应该是(1 3 6 10 15 21 28 36 45 55 66 78 91 105 120 136 153 171 190 210),其中第i个值是由1到i的和而得到的。

> (define sum 0)
> sum
0
> (define (accum x)
    (set! sum (+ x sum))
    sum)
> sum
0
> (define seq (stream-map accum (stream-enumerate-interval 1 20)))
> sum
1
> (define y (stream-filter even? seq))
> sum
6
> (define z (stream-filter (lambda (x) (= (remainder x 5) 0))
                         seq))
> sum
10
> (stream-ref y 7)
136
> (display-stream z)
10
15
45
55
105
120
190
210
'done
> sum
210
> 
b)如果delay不使用memo-proc所提过的优化,就会影响上述过程的结果。下面,我们看看delay不使用memo-proc时的情况。

> (define sum 0)
> sum
0
> (define (accum x)
    (set! sum (+ x sum))
    sum)
> sum
0
> (define seq (stream-map accum (stream-enumerate-interval 1 20)))
> sum
1
> (define y (stream-filter even? seq))
> sum
6
> (define z (stream-filter (lambda (x) (= (remainder x 5) 0))
                         seq))
> sum
15
在执行(define z (stream-filter (lambda (x) (= (remainder x 5) 0)) seq))之前sum的值为6:

  • seq的第一个值为1,由于1不是5的倍数,所以取seq的第二个数。
  • seq的第二个数需要通过(accum 2)求得,此时sum为6,在执行了(accum 2)之后,sum变为8了。8也不是5的倍数,继续求seq的第3个数。
  • seq的第三个数需要通过(accum 3)求的,此时sum为6,在执行了(accum 3)之后,sum变为11。11也不是5的倍数,所以继续。
  • seq的第四个数需要通过(accum 4)求的,此时sum为11,在执行了(accum 4)之后,sum变为15。15是5的倍数,所以停止。
所以,此时sum的值为15,这与带有记忆的delay是不同的。


你可能感兴趣的:(优化,lambda,delay)