+ : 두 번째 인수로 유형 <number>이 필요합니다. # <void>;

Question

나는 현재 SICP의 운동 1.29 일하고 있어요, 내 프로그램은 나에게 다음과 같은 오류주고 유지 : 나는 racket 사용하고 있는데 코드 여기

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

을 것 :

(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) 

I을 "2 인자"를 추측하는 것은 현재 반복과 미래 반복을 추가하는 곳을 가리 킵니다. 그러나 왜 두 번째 인수가 숫자를 반환하지 않는지 이해할 수 없습니다. 누구든지이 오류를 해결하는 방법을 알고 있습니까?

Answer 1

iter 절차에 else 조항이 누락되었습니다. 자신에게 물어보십시오 : (<= n k) 일 때 어떻게해야합니까? 그것은 재귀의 기본 경우이며 숫자도 반환해야합니다!

(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)))) 
     (else <???>))) ; return the appropriate value 

Answer 2

"2 인수"식이다 (iter f a b n (+ k 1))+ 두 번째 인자를 의미한다. 오류 메시지에 따르면 해당 식은 의미있는 값이 아닌 void로 평가됩니다. 그게 왜 그랬을까요? 이 표현은 숫자로 평가하지 않을 어떤 상황에서

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

:

음, iter의 전체 몸이 cond 식입니다? 음,이 표현은 무엇을합니까? n이 k보다 큰지 확인하고,이 경우 추가 결과 (숫자 여야 함)를 반환합니다. 그러나 n이 k 또는 k보다 작 으면 어떨까요? 그래도 숫자를 반환해야하며 지금은 그렇지 않습니다.