- 类型帮助用户在编译期提前发现错误
- 类型通过 IDE 极大提升了开发者体验
- 类型能帮助开发者设计和完善程序
- 类型会通过字面量自动推导
- 类型不仅仅是标注 - 更是可计算的值
- 类型一等公民
- Creating Types from Types
- TS 的类型系统有非常强大的表现力,可以用于表达复杂逻辑 (图灵完备)
- 泛型
- 类似于变量声明
- 条件类型
- infer
- distributive-conditional-types
- 泛型
- 类型系统并不能解决所有的实际问题,要正确使用,不能拿着锤子找钉子
- Handbook
- TypeScript Release Notes
- Effective Typescript
- Type Challenges 练习使用 生产中不要随意使用