5.2 类型级别编程

文档摘要

5.2 类型级别编程 5.2 类型级别编程：当程序不再运行于值域，而栖居于类型之巅我们曾习惯将编程理解为对“值”的操控——整数相加、字符串拼接、对象调用方法；编译器是沉默的守门人，仅在语法与类型规则的边界上划出一道浅浅的刻痕。然而，在元编程这座不断拔高的山峰上，第五章所抵达的并非终点，而是临界点：一个从“运行时世界”向“编译时宇宙”跃迁的奇点。而类型级别编程（Type-Level Programming），正是这个奇点最锐利的棱角——它不再满足于用类型去约束值，而是让类型本身成为可计算、可构造、可推理、甚至可自我指涉的第一等公民。在这里，不再只是的标签，而是一块可被折叠、展开、模式匹配、递归演化的逻辑积木；不再是内存布局的蓝图，而是一则可被求值的命题；