练习3-77

原文

Exercise 3.77. The integral procedure used above was analogous to the “implicit” definition of the infinite stream of integers in section 3.5.2. Alternatively, we can give a definition of integral that is more like integers-starting-from (also in section 3.5.2):

(define (integral integrand initial-value dt)
   (cons-stream initial-value            
                (if (stream-null? integrand)         
                    the-empty-stream           
                    (integral (stream-cdr integrand)                             
                              (+ (* dt (stream-car integrand))                                
                                 initial-value)                             
                              dt))))

When used in systems with loops, this procedure has the same problem as does our original version of integral. Modify the procedure so that it expects the integrand as a delayed argument and hence can be used in the solve procedure shown above.

代码

 (define (integral delayed-integrand initial-value dt) 
         (cons-stream initial-value 
                 (let ((integrand (force delayed-integrand))) 
                         (if (stream-null? integrand) 
                                 the-empty-stream 
                                 (integral (delay (stream-cdr integrand)) 
                                           (+ (* dt (stream-car integrand)) 
                                                      initial-value) 
                                                dt)))))