今天我们回归讨论编程语言这个老话题。本文将用 TypeScript 给大家介绍类型系统的原理，以及怎么更好地使用类型系统编写出类型安全的代码。

拿下泛型，TS 还有什么难的吗？本文将带你加深入的理解和掌握泛型，以及更加熟练 TS 内置工具类型在项目中的运用

TypeScript 给 JavaScript 添加了一套类型语法，我们声明变量的时候可以给变量加上类型信息，这样编译阶段就可以检查出变量使用的对不对，也就是类型检查。 给变量添加类型，很自然可以想到

TypeScript 中有很多地方涉及到子类型 subtype、父类型 supertype、逆变和协变covariance and contravariance的概念，如果搞不清这些概念，那么很可能被报错搞的无从下手，或者在写一些复杂类型的时候看到别人可以这么写，但是不知道为什…