42、语法抽象：语法案例扩展器

语法抽象：语法案例扩展器

1. 语法规则系统的局限与语法案例系统的优势

语法规则（syntax-rules）系统虽然易于高效实现，但它限制了机制的实用性，许多有用的语法抽象难以或无法编写。为解决原算法的不足且避免语法规则的限制，语法案例（syntax-case）系统应运而生。

语法案例系统具有以下优点：
- 支持局部宏绑定，且操作开销恒定。
- 允许宏使用Scheme语言的全部表达能力。
- 向上兼容语法规则，语法规则可表示为基于语法案例的简单宏。
- 允许使用相同的模式语言，即使对于语法规则无法处理的“低级”宏也适用。
- 提供了一种机制，允许有意图地捕获，即能以选择性和直接的方式“弯曲”或“打破”卫生性。
- 处理扩展过程中的一些实际问题，如内部定义和通过宏扩展跟踪源信息。

不过，该系统的扩展算法复杂度较高，实现所需的代码量较大。下面将研究一个简化版的扩展器，以说明其底层算法和实现的重要方面。

2. 语法案例的简要介绍

以下是一些语法案例的示例，这些示例改编自Chez Scheme Version 7用户指南。

2.1 简单的 or 宏定义

(define-syntax or
  (lambda (x)
    (syntax-case x ( )
      [(_ e1 e2)
       (syntax (let ([t e1]) (if t t e2)))])))

define-