哥德尔、埃舍尔与 Elisp：宏之美

📋 概述

作者借 Hofstadter 与 Escher 的意象，为 Emacs Lisp 的宏大唱赞歌。核心是「同像性」（homoiconic）：Elisp 的源码本身就是它的数据结构，一个引号就能让程序变成可检视、可变换、可重建的数据，一次函数调用又让数据变回程序，恰如埃舍尔莫比乌斯环的两面实为同一表面。宏接收的是调用点的原始代码并返回新代码，在程序运行前的展开期执行——作者用 quasiquotation 重实现了 unless 作为最小示例，并展示如何用 macroexpand、emacs-lisp-macroexpand 与 macrostep 等工具看清宏的魔法。