Series10 entries
TypeScript
How types constrain programs.
2026
TypeScript 7：Go 重写与实现的分离TS7 用 Go 全面重写编译器，但你的代码一行不用改——从这个事实出发，理解实现与抽象的分离LSP 是什么：编辑器和语言的桥梁Language Server Protocol 如何把语言能力和编辑器解耦——为什么 TS7 支持 LSP 后，所有编辑器都能享受速度提升为什么 React 的 TypeScript 体验如此自然JSX/TSX 是 TypeScript 的原生语法扩展——React 的组合模型为什么天然适合 TypeScript为什么 Vue/Angular 生态需要额外的工具链TypeScript 编译器能直接理解什么，与框架自己定义的文件格式之间存在边界——这是设计选择，不是优劣问题TypeScript 的本质：编译时约束TypeScript 不是运行时验证——它是在程序运行之前，通过静态分析缩小错误空间类型系统的核心：结构化类型TypeScript 不是问'你是不是这个类型？'，而是在问'你的结构是否满足这个类型？'泛型：让逻辑与类型解耦泛型解决的不是'高级语法问题'，而是'逻辑相同，但数据类型不同'的问题条件类型与 Discriminated UnionsTypeScript 不只是描述数据结构，还可以描述系统允许存在的状态空间Type-driven React：类型驱动的组件设计如何让组件 API 更难被用错？从允许的状态出发，用类型约束 props，再写实现。TypeScript + React：从 Type 到 Reality类型检查通过后，UI 是怎样出现在屏幕上的？分清 TypeScript、React 与浏览器各自的职责。