数学 & 形式

Lisp 宏：代码即数据的终极表达

从 McCarthy 的原始洞察出发，深入 Lisp 宏系统的核心机制——同像性使得代码与数据共享同一结构，从而赋予程序员改写语言本身的能力。本文通过渐进式示例、跨语言对比和形式系统的视角，揭示宏为何是元编程的终极形态。