4.3 同像性语言体系

文档摘要

4.3 同像性语言体系 4.3 同像性语言体系：元编程范式的终极自反性实现我们曾于第三章中确立元编程的本质——它并非语法糖的堆砌，亦非编译器后端的黑箱魔术；而是一种计算系统对自身结构与行为进行第一人称建模、观察与重写的能力。当这一能力不再依赖外部工具链（如C++模板元编程需预处理器+编译器协同）、不囿于静态类型系统的边界（如Scala宏在类型检查之后才介入），也不满足于运行时反射的“只读快照”（如Java 对象无法安全修改字节码），那么，一种更本源、更轻盈、更富表现力的元编程形态便呼之欲出：同像性（Homoiconicity）。同像性不是语法上的巧合，而是语义上的必然选择；它不是Lisp家族的遗产标签，而是计算自我指涉能力在语言设计层面的一次彻底兑现。