在Repl.it定义Scheme的rec宏时触发"proper list required"错误

报错根源 #

这个错和你写的宏逻辑没关系，是Repl.it默认拉起来的Racket解释器走的是严格默认语法检查，和原AFP（函数式算法教材配套的）原语库遵循的R5RS标准Scheme语法不兼容。
具体来说，Racket默认模式下的reader在提前扫描宏定义的时候，会把宏匹配规则里的非正规点列表(name . variables)错当成普通函数调用的参数，而严格模式要求所有函数调用的位置必须是正规列表，所以直接抛出了“proper list required for function application or macro use”的错——本质是预检查阶段就把宏定义当成错的代码拦下来了，根本没走到实际执行宏的步骤。

修复方法 #

• 最省事的方案：切兼容模式
  直接在main.scm的第一行加上#lang r5rs，把解释器切到R5RS标准兼容模式，关掉那套严格的预检查逻辑。AFP的原语库本身就是照着R5RS标准写的，切完模式之后你原来抄的宏、其他原库代码都不用改，直接就能跑。
• 不想切模式就改写宏适配严格规则
  要是就想用默认的Racket模式，就把原宏里容易触发预检查的点列表匹配，换成Racket能正常识别的正规列表写法，功能和原宏完全一致：

  (define-syntax rec
    (syntax-rules ()
      ;; 支持固定参数+可变参数的递归函数定义，比如 (rec (f . args) body...)
      ((rec (name arg ... . rest) body ...)
       (letrec ((name (lambda (arg ... . rest) body ...))) name))
      ;; 支持无参数的递归函数定义
      ((rec (name) body ...)
       (letrec ((name (lambda () body ...))) name))
      ;; 支持带自引用的命名绑定，比如 (rec f expr)
      ((rec name expression)
       (letrec ((name expression)) name))))
  

额外提醒 #

你抄的AFP原语库里还有好多基于R5RS语法写的宏，覆盖流操作、列表递归相关逻辑，在默认严格Racket模式下都会碰到这种点列表解析的报错，逐段改太麻烦，老老实实加#lang r5rs一次就能把兼容问题全解决。

内容的提问来源于stack exchange，提问作者Jacob van Lingen