基于MIT Scheme fold构建邻接列表遇错，求替代内置函数

MIT Scheme标准库没有专门提供允许直接修改状态变量的内置fold变体，但你可以通过以下两种方式解决问题：

1. 自定义支持可变状态的fold实现 #

标准的fold-left/fold-right要求每一步返回新的状态值，而如果你的逻辑依赖于修改状态的引用（比如用set-car!），可以自己写一个迭代式的fold，直接传递状态引用：

(define (fold-mutable proc initial-state lst)
  (let loop ((state initial-state) (rest lst))
    (if (null? rest)
        state
        (begin
          (proc (car rest) state)  ; 直接修改state，无需返回新值
          (loop state (cdr rest))))))

这个版本里，proc可以直接对state执行set-car!这类修改操作，因为state始终是同一个引用，不会像标准fold那样依赖返回值更新状态，避免了#!unspecific的错误。

2. 用do表达式直接实现迭代 #

既然你已经写出了迭代版本，MIT Scheme的do语法本身就是为处理可变状态的迭代场景设计的，完全可以替代fold：

(define (build-unit-graph input-pairs)
  (let ((res '((tonne ()) (celsius ()))))  ; 初始状态
    (do ((pairs input-pairs (cdr pairs)))
        ((null? pairs) res)
      (let ((unit (caar pairs)) (aliases (cdar pairs)))
        ;; 这里直接对res执行set-car!等修改操作
        (cond ((equal? unit 'tonne)
               (set-car! (cdr (assoc 'tonne res)) aliases))
              ((equal? unit 'celsius)
               (set-car! (cdr (assoc 'celsius res)) aliases))))))
  res)

do表达式天然支持在迭代过程中修改状态变量，逻辑更直观，也不会有标准fold的限制。

关于你遇到的报错原因 #

你用标准fold时出错，大概率是因为在proc里没有返回修改后的res，或者初始res设置不当导致某一步返回了#!unspecific（比如set-car!本身返回#!unspecific），而标准fold会把这个值作为下一轮的状态，最终调用car时传入了无值对象，引发类型错误。

内容的提问来源于stack exchange，提问作者An5Drama