协变与逆变协变与逆变的推断TS 中的协变与逆变是针对函数标签类型的。用于来比较函数标签的类型层级。我们有如下两个函数标签class Animal {eating() {}}class Dog extends Animal { bark() {}}type AnimalFactory = (arg:

typescript 类型层级typeScript 中有一套类型兼容体系。对于每个类型，它们在这套体系中存在不同的位置。这位置就被抽象成，类型层级的概念。什么是类型层级呢 ？以下面一个例子来解释：type Res = "acwink" extends string ? 1 : 2

TypeScript错误出现的越早越好。第一章 出现1.1 JavaScript 遗留问题javaScript 是一个没有类型的脚本语言。出现问题必须再运行时才能发现。不能再代码编译期间发现错误。JavaScript 不适合开发大型项目，一旦项目庞大后，因为宽松的校验就会导致传入参数类型不一致。1.