基于 babel 实现 typescript 类型检查

从编译原理的角度分析 typescript 类型检查的实现，基于 babel 手写一个 ts type checker.