Почему это рекурсивное дополнение неправильно в схеме?

Question

#lang eopl 

(define (vectorSum V b e) ; b is starting index, and e is ending index 
    (cond 
    [ (eqv? b e) vector-ref V b] 
    [ (> b e) 
     (eopl:error 'vectorSum "starting index must be smaller than or equal to the end index")] 
    [ else (+ (vector-ref V b) (vectorSum V (+ b 1) e))])) 


(define A #(1 1 1 1 1)) 

Когда я пробую это, я получаю неправильный результат. В чем проблема?

> (vectorSum A 0 4) 
8 
> (vectorSum A 0 1) 
2 
> (vectorSum A 0 3) 
6 
> (vectorSum A 1 3) 
5 
> (vectorSum A 1 2) 
3 

> (vectorSum A 0 1) 
2 
> (vectorSum A 1 2) 
3 

Take (vectorSum A 0 3), когда я расширил рекурсию, я думал, что это должен был быть

+ 1 + VectorSum (1 3) 
    + 1 + VectorSum (2, 3) 
     + 1 + VectorSum (3, 3) 
      + 1 (I hit the first case, there is no more recursion) 
= 4 

Вместо этого, я получаю 6. Почему?

Спасибо.

---

Посмотрите на 0,1 и 1,2 ответы не равны.

Answer 1

Ваш ответ должен выглядеть следующим образом:

(define (vectorSum V b e) 
    (cond ((eqv? b e) 
     (vector-ref V b)) 
     ((> b e) 
     (eopl:error 'partialVectorSum "starting index must be smaller than or equal to the end index")) 
     (else (+ (vector-ref V b) (vectorSum V (+ b 1) e))))) 

Это была простая ошибка - вы забыли пару круглых скобках в этой строке:

[ (eqv? b e) vector-ref V b] 

Он должен был быть:

[ (eqv? b e) (vector-ref V b) ] 

Без этих скобок вы фактически не вызываете процедуру vector-ref, instea d вы перечисляете некоторые символы и возвращаете последний, b в этом случае. Не забудьте всегда окружать вызов процедуры и ее аргументы между скобками, как и в части else.

Answer 2

Ваше понимание того, как происходит рекурсия, правильная. Ваша проблема заключается в том, что вы забыли в скобках позвонить в vector-ref в первом случае. То, как вы его написали vector-ref V b, интерпретируется как три независимых выражения. Последним из них (b) является значение выражения. Так как в вашем примере b равно 3, вы получите 1 + 1 + 1 + 3 = 6.

Просто добавьте круглые скобки, чтобы сделать это вызовом функции, и он будет работать так, как вы этого хотите.