如何在Racket中批量导出函数列表，避免重复硬编码

provide 是 Racket 的模块级语法构造，而非普通运行时函数，它的参数需要在模块编译阶段就确定为待导出的标识符字面量。你尝试传入存储了符号列表的运行时变量 my-funs 时，provide 只会尝试导出名为 my-funs 的标识符，而非列表内的 f1、f2，自然也无法识别列表中引用的标识符，因此抛出未绑定错误。

你可以通过一个简单的宏统一管理运算符列表，同时完成批量导出和运行时判断列表生成，新增运算符时仅需要修改一处定义即可：

1. 首先定义统一的运算符管理宏

(define-syntax define-operators
  (syntax-rules ()
    [(_ op-list-id (op ...))
     (begin
       ; 生成运行时可用的运算符函数列表，供handle逻辑判断使用
       (define op-list-id (list op ...))
       ; 批量导出所有运算符
       (provide op ...))]))

2. 用宏声明你需要支持的运算符，仅需修改此处即可新增运算符

; 示例当前支持 +、* 两个运算符
(define-operators supported-ops (+ *))

3. 修改handle函数，复用生成好的运行时运算符列表

(define (handle [arg #f])
  (cond
    [(number? arg) (push-stack! arg)]
    [(member arg supported-ops)
     (define op-result (arg (pop-stack!) (pop-stack!)))
     (push-stack! op-result)]))

如果后续需要新增减法运算符，只需要把声明部分改为 (define-operators supported-ops (+ * -)) 即可，无需修改 provide 逻辑和 handle 的判断条件。

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