JS作为一门动态类型语言，需要我们自己在代码流中自己做类型检查，但是原生的类型检查工具不足以帮助我们完成真正的类型检查，那么怎么才能真正建立自己的运行时类型检查系统呢？本期Robust带你一起思考这个问题。

在线收听

喜马拉雅：点击播放

网易云音乐：点击播放

你还可以在苹果自带的 Podcast 应用、小宇宙APP、QQ音乐中搜“Robust”找到我们的节目收听。

捐赠支持

求打赏🙇如果你觉得 Robust 这样一档技术类的谈话节目还不错，希望我继续做下去，不妨打赏支持。

内容纲要

1. typescript其实是很难的，需要开发者理解类型推演的抽象原理
2. tyshemo
3. 类型分为：原始类型、结构类型
4. 规则
5. 原型即原始类型，有3种，一种基于JS原生的标准库对象，如Number, String等，另一种基于开发自建的原型，如class Person，还有一种是自定义原型，通过tyshemo库提供的原型工具建立
6. 结构类型也分3种：一种是描述形状的结构类型，如Dict, List, Mapping，另一种是描述逻辑的结构类型，例如Enum, Range, SelfRef，当然最后一种就是我们自己扩展出来的自定义类型
7. 工具：Ty, decorators

2021-11-19 1422