程序的复杂性包含了本质复杂性和非本质复杂性两个方面，前者即为逻辑，后者即为控制。代码优化的极限是由逻辑决定的，逻辑和控制本应是正交的两个维度，但多数程序中二者却耦合在一起降低了程序的可读性。组件复用和GoF设计模式都不是解决这一问题的有效途径，唯有元语言抽象能彻底地将逻辑和控制解耦，使得程序简洁、优雅、易理解、易维护。

本文链接：程序的本质复杂性和元语言抽象，转载请注明。