1.2.1 早期探索 在软件工程的漫长河床上,我们常把“元编程”视作现代语言高阶特性的代名词——宏系统、AST 变换、编译期计算、领域专用语言(DSL)嵌入……这些词汇闪烁着类型安全、性能优化与表达力跃迁的光芒。但若将时光拨回 20 世纪 50 年代末至 70 年代初,当第一台晶体管计算机尚在穿孔卡片与磁芯内存中艰难喘息,当“编程”一词尚未脱离“为机器配置开关”的物理隐喻,真正支撑起人类第一次系统性突破“语法即牢笼”这一认知边界的,并非某种精巧的类型推导器,也不是某个经过形式化验证的编译框架,而是一段用括号书写的、看似笨拙却蕴含惊人自反性的 Lisp 表达式: (if ,test (progn ,@body))) #define #define macrorules!