## 9.6 常见陷阱与反模式

文档摘要

## 9.6 常见陷阱与反模式 9.6 常见陷阱与反模式 ——当类型系统的优雅被一点点蚕食：一次系统性的病理学考察 “我们曾以为 TypeScript 会自己长出护栏，却忘了护栏本身也可能锈蚀。” —— 某次代码审计后的深夜独白引言：为何“陷阱”值得被当作研究对象在编译器团队内部，我们习惯把 TypeScript 的反模式分为两类：一类是“编译器无法捕获的语义偏差”，另一类是“编译器捕获了却没人愿意修复的语义偏差”。前者让类型系统形同虚设，后者让类型系统沦为噪音。它们共同导致一个结果——类型债务（type debt），它像技术债务一样会利滚利，却更难被度量、更难被说服管理层投入人力偿还。