+:将type <number>作为第二个参数,给定:#<void>;

Question

我目前正在研究SICP的练习1.29,我的程序一直给我以下错误:

+: expects type <number> as 2nd argument, given: #<void>; other arguments were: 970299/500000

这是我正在使用的代码racket:

  (define (cube x)
    (* x x x))

  (define (integral2 f a b n)
    (define (get-mult k)
      (cond ((= k 0) 1)
            ((even? k) 4)
            (else 2)))
    (define (h b a n)
      (/ (- b a) n))
    (define (y f a b h k)
      (f (+ a (* k (h b a n)))))
    (define (iter f a b n k)
      (cond ((> n k)
             (+ (* (get-mult k)
                   (y f a b h k))
                (iter f a b n (+ k 1))))))
    (iter f a b n 0))

(integral2 cube 0 1 100)

我猜测"第二个参数"指的是我添加当前迭代和未来迭代的地方.但是,我不明白为什么第二个参数没有返回一个数字.有谁知道如何解决这个错误？

Answer 1

"第二个参数"指的是第二个参数+,即表达式(iter f a b n (+ k 1)).根据错误消息,该表达式正在评估为void,而不是有意义的值.那为什么会这样？

好吧,整个身体iter就是这样的cond表达:

(cond ((> n k)
       (+ (* (get-mult k)
             (y f a b h k))
          (iter f a b n (+ k 1)))))

在什么情况下这个表达式不会评估为数字？那么,这个表达式做了什么？它检查是否n大于k,并且在这种情况下它返回添加的结果,该结果应该是数字.但是如果n小于k或等于k？它仍然需要返回一个数字,而现在它不是.