Scheme(Racket)正确编写的函数不适用于某些输入

Question

所以我在球拍中编写了I函数来计算Sums:

(define (sum term a next b)
  (if (> a b)
      0
      (+ (term a) (sum term (next a) next b))))

术语是应用于每个参数的函数.A接下来是我们如何前进到下一个元素(即a2 = 2*a1或a2 = a1 + 1等),b是最后一个元素.

还有2个附加功能:

(define (square x) (* x x))
(define (inc x) (+ x 1))

如果我输入:

(sum square 1 inc 5)我得到的是正确的55

但如果我输入:

(总平方1平方5)

我陷入了困境!？为什么a2应该是a1*a1和a3 = a2*a2并且a应该超过b,因此结束递归的条件将是fultifield.很奇怪.

Answer 1

你的sum函数将永远循环,因为(square 1)总是评估1并且永远不会大于5.