7.3.1 类型驱动开发 (TDD)

文档摘要

7.3.1 类型驱动开发 (TDD) 7.3.1 类型驱动开发（TDD）：不是写测试，而是用类型契约编织系统骨架你有没有在深夜调试一个“明明编译通过、却在运行时炸成烟花”的函数？有没有在重构时，对着一段没有类型注解的 JavaScript 代码，像考古队员一样逐行推演参数可能的形状？有没有在接手遗留项目时，发现这个变量有时是，有时是，有时又悄悄混入了这种四不像的布尔-字符串混合体？这些不是偶然的挫败，而是类型缺席时系统熵增的必然显现。