如何改变变量方案

Question

我正在尝试使用可变对象对列表求和以进行分配。let 在这里用于允许我改变总和 x 和 counter。我不太精通方案，因此对列表lst 中的每个数字使用if 语句：

(define lst (list 1 2 3 4 5))

(let mut ((counter 0))
 (let ((x (car lst)))

  (if (= counter 4)
      x)
  (if (= 0 counter)
    (+ x (cadr lst)))
  (if (= 1 counter)
      (display (caddr lst)) ;test
      (+ x (caddr lst)))
  (if (= 2 counter)
      (+ x (caddr lst)))  

  (set-car! lst (cdr lst))   
  (mut (+ counter 1))
  )
)

但是当我运行代码时，我得到一个错误

+: contract violation
      expected: number?
      given: (mcons 2 (mcons 3 (mcons 4 (mcons 5 '()))))
      argument position: 1st
      other arguments...:

但是，当我检查 (caddr lst) 时，它会按预期返回 3。 我的问题是为什么在运行时，caddr 在应用于+ 时会产生(mcons 2 (mcons 3 (mcons 4 (mcons 5 '()))))，但在不应用时会返回3

我正在使用 R5RS 编辑：为了简洁，我省略了一些 if 语句

Answer 1

好的，所以我发现它使用了一个完全不同的实现 @molbdnilo 是正确的，我的理解是有缺陷的。 如果其他人正在努力解决这个问题，这是我的实现

(define (goMut)
  (define mVar 0)
  (define acc 0)

(define (accDo num)
    (set! acc (+ num acc)))

  (for-each (lambda (x) (set! mVar x) (accDo x))
            (list 1 2 3 4 5))
  acc
)

使用集合！我们可以将列表中的值应用于外部变量，并在使用函数accDo 遍历整个循环时对其进行变异。函数模板取自 SICP pg 107