让我们从最基础的例子开始一步步理解 typescript 中，什么是逆变和协变，以及他们在 zustand 声明中的应用吧！

在群里看到一些问题和言论：为什么你们这么喜欢“类型体操”？为什么我根本学不下去 TypeScript？我最讨厌那些做类型体操的了；为什么我学了没过多久马上又忘了？ 有感于这些问题，介绍一个思路给各位。

前期准备 本篇文章的编写目的是为了提升TS类型的书写质量，高质量的类型可以提高项目的可维护性并避免一些潜在的漏洞; 在学习本篇之前需要需要有一定的TS基础知识，在此基础上可以更好的完成各种类型的挑战，

大家好，我是祯民。Typescript 是支持类型编程的类型系统，也就是说，除了类型的一些基础使用外，我们可以对传入的类型参数（泛型）做各种逻辑运算，产生新的类型，这就是类型编程。因为相对难度较高，所

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

阿宝哥第一次使用 TypeScript 是在 Angular 2.x 项目中，那时候 TypeScript 还没有进入大众的视野。然而现在学习 TypeScript 的小伙伴越来越多了，本文阿宝哥将从 16 个方面入手，带你一步步学习 TypeScript，感兴趣的小伙伴不要错…