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

过年期间在家里没事，把zustand的源码看了一遍，看完后我最大的收获就是TypeScript水平突飞猛进，再去刷那些类型体操题目就变得简单了，下面和大家分享一下zustand库是怎么定义ts类型的。

unknown 指的是不可预先定义的类型，在很多场景下，它可以替代 any 的功能同时保留静态检查的能力。 这个时候 unknown 的作用就跟 any 高度类似了，你可以把它转化成任何类型，不同的地方是，在静态编译的时候，unknown 不能调用任何方法，而 any 可以。 …

作为前端开发的趋势之一，TypeScript正在越来越普及，很多人像我一样写了TS后再也回不去了，比如写算法题写demo都用TS，JS只有在Webpack配置（实际上这也可以用TS写）等少的可怜的情况下才会用到（有了ts-node后，我连爬虫都用ts写了）。 预实现的ES提案，…

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

作者说这样可以检测是否属性相等，但属性相等可以`X extends Y`和`Y extends X`，为什么需要`<T>() => T extends X ? 1 : 2`呢？

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

你有遇到过tsc构建或类型检查速度很慢的情况吗？如何让tsc的作用范围从全量构建变成增量构建？Project References来告诉你答案！

基于自己使用 TypeScript 有了几年的时间，故简单做一个总结，如果你想进阶高级 TSer 以及想如何更好的写好 TS 代码，我觉得这篇文章对你肯定是受益匪浅，终身受用 ~