为何无法定义名为if的Scheme宏？

先把你遇到的现象捋清楚：

• 全局用define-syntax定义普通宏（比如example）完全正常
• 但全局尝试用define-syntax定义if宏时，直接触发报错：Premature reference to reserved name: if
• 但两种操作if的方式可行：
  • 用define将if重定义为普通过程
  • 用let-syntax局部定义if宏
• 其他内置关键字（define、set!、lambda甚至define-syntax本身）都可以通过define-syntax全局重定义为宏
• 全局define-syntax重定义syntax-rules时，会出现和if完全一致的报错

这不是syntax-rules的内部机制导致的，根源是MIT/GNU Scheme的核心语法保留策略：

1. if是Scheme最基础的核心特殊形式，解释器启动阶段就将其标记为「早期保留名」——在处理全局宏定义的语法检查环节，解释器自身就需要依赖if的原始语义，此时尝试用宏覆盖全局的if绑定，相当于在解释器还未完成初始化时修改核心依赖，直接触发语法检查报错。
2. syntax-rules是宏展开器的核心构建组件，所有基于syntax-rules的宏展开逻辑都依赖它的原始实现，全局重定义会直接破坏宏展开器的基础运行逻辑，因此也被纳入「早期保留名」范围。
3. 而define、lambda这类特殊形式，解释器处理全局宏定义时，不会在语法检查的最早期阶段依赖它们的原始语义，因此允许通过define-syntax进行全局宏重定义。
4. 局部let-syntax可以成功定义if宏，是因为它仅在局部语法环境中临时覆盖绑定，不会触碰全局的核心语法依赖；将if重定义为过程则是在值环境中操作，与语法层面的保留机制不冲突，所以也能正常执行。

如果需要全局修改if的行为，只能通过修改MIT/GNU Scheme的核心源码实现；日常场景下，建议使用let-syntax或letrec-syntax在局部代码块中临时覆盖if的语法行为。这类限制是MIT/GNU Scheme的特定实现选择，目的是保障核心语法设施的稳定性，避免用户误操作破坏解释器的基础运行逻辑。

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