Scheme 元编程：eval 与 quasiquote

Scheme 的元编程能力源于它将代码视为数据的特性。在 Scheme 中，程序结构本身可以用列表、符号等基本数据类型表示，这使得程序可以动态生成和修改其他程序。eval 和 quasiquote 是实现这一能力的两个核心工具。

理解 eval：运行时执行代码

eval 函数接收一个表达式（通常是一个列表）和一个环境参数，在指定环境中求值该表达式。

1. 创建一个简单的表达式：用引号 ' 构造一个不求值的列表，例如 '(+) 表示加法过程本身，而 '(+ 1 2) 表示要执行加法运算的代码结构。
2. 调用 eval 执行它：输入 (eval '(+ 1 2) (interaction-environment))，结果为 3。
3. 注意环境参数：不同 Scheme 实现对环境参数的要求不同。在 R5RS 中可省略，但在 R6RS/R7RS 中必须提供。常见做法是使用 (scheme-report-environment 5) 或 (null-environment 5) 获取标准环境。

;; 示例：动态构建并执行表达式
(define expr '(+ 10 (* 2 3)))
(eval expr (interaction-environment)) ; 返回 16

4. 避免滥用 eval：不要在能用普通函数的地方使用 eval。它会降低性能、破坏作用域规则，并可能引入安全风险。

使用 quasiquote 构建模板代码

quasiquote（通常写作反引号 `）允许你创建带有“插槽”的代码模板，这些插槽可通过 unquote（,）或 unquote-splicing（,@）填入动态值。

1. 定义带变量的模板：输入 (define (make-adder x y) `(+ ,x ,y))，这会返回一个加法表达式，其中 x 和 y 被实际值替换。
2. 测试模板生成：调用 (make-adder 5 7)，得到 (+ 5 7)。
3. 组合 eval 与 quasiquote：执行 (eval (make-adder 5 7) (interaction-environment))，结果为 12。

;; 示例：生成条件表达式
(define (make-if-test condition then-expr else-expr)
  `(if ,condition ,then-expr ,else-expr))

(eval (make-if-test '(> 3 2) ''yes ''no) (interaction-environment)) ; 返回 'yes

4. 使用 unquote-splicing 处理列表：当需要将一个列表展开插入模板时，使用 ,@。

(define args '(1 2 3))
`(list ,@args) ; 等价于 (list 1 2 3)，而不是 (list (1 2 3))

实战：编写一个简单的宏展开器

虽然 Scheme 提供了 syntax-rules 宏系统，但通过 eval 和 quasiquote 可以手动模拟简单宏行为。

1. 定义宏规则映射：创建一个关联列表，将宏名映射到变换函数。

(define my-macros
  `((when . ,(lambda (test body)
               `(if ,test (begin ,@body) #f)))))

2. 编写展开函数：实现 expand-macro，检查表达式首项是否为已知宏。

(define (expand-macro expr)
  (if (and (pair? expr) (assoc (car expr) my-macros))
      (apply (cdr (assoc (car expr) my-macros)) (cdr expr))
      expr))

3. 结合 eval 使用：构造一个含宏调用的表达式并展开执行。

(define code '(when (> 5 3) (display "ok") (newline)))
(eval (expand-macro code) (interaction-environment)) ; 输出 ok

注意事项与最佳实践

1. 始终先验证生成的代码：在 eval 前，用 display 或 write 输出表达式，确保其结构符合预期。
2. 限制 eval 的使用范围：将动态求值逻辑封装在最小作用域内，避免污染全局环境。
3. 考虑替代方案：优先使用高阶函数、闭包或标准宏系统（如 define-syntax）代替手写 eval。

;; 安全示例：通过闭包避免 eval
(define (make-computation op a b)
  (lambda () (op a b)))

((make-computation + 4 5)) ; 返回 9，无需 eval