你可以使用 `export {}` 语句来将该文件变成一个模块，即使它并不导出任何内容。这样，TypeScript 就能正确地识别该文件，并让你在其他文件中使用该文件中声明的全局类型

非常汗颜，写ts好多年了，虽然不是anyscript风格，但一直当作类型标注在写，顶多用用函数重载和范型，连infer是谁都不认识，虽然也从当年这个文章中：用 TypeScript 类型运算实现一个中

这篇文章封装的axios已经满足如下功能： 无处不在的代码提示； 灵活的拦截器； 可以创建多个实例，灵活根据项目进行调整； 每个实例，或者说每个接口都可以灵活配置请求头、超时时间等。

软件工程中，我们不仅要创建一致的定义良好的 API，同时也要考虑可重用性。 组件不仅能够支持当前的数据类型，同时也能支持未来的数据类型，这在创建大型系统时为你提供了十分灵活的功能。 在像 C# 和 Java 这样的语言中，可以使用泛型来创建可重用的组件，一个组件可以支持多种类型…

肝了一天的动画，看完让你彻底掌握TS 的映射类型。学会后，TS 常用的内置工具类型已经掌握一大半了。还有 TS 4.1 版本的新语法，学好 TS 类型体操必备知识。

TypeScript类型中的协变 (Covariant) 、逆变 (Contravariant) 、双向协变 (Bivariant) 和不变 (Invariant)