在学习 TypeScript 时,很多同学可能会遇到这些疑惑:

  • 这些额外的类型代码,以及类型编程,对实际项目开发的帮助在哪里?我真的需要精通它们吗?
  • 这些工具类型看起来真的好烧脑,并且它们并不能让我的网页运行得更快,让我的 Node 服务并发更高,让我的网页 PV / UV 数据更喜人,我为什么需要了解它们?
  • TypeScript 的学习曲线是怎么样的?是否存在一个比较平衡的阶段,让我的投入产出比最大化?

所以这一节,我们不学习代码,只是来聊一聊 TypeScript 类型编程的学习意义。因为此时你已经具备了深入学习类型编程的前置基础,又马上要进入工具类型进阶部分的学习。那在挑战这座最高的“山峰”之前,我们很有必要利用这几个问题带你走一些常见的误区,让你能心无旁骛地坚定向前。

# 从类型编程到类型体操

你可能会注意到,上面我用了“类型编程”和“类型体操”这两个不同的词。这是因为我通常把 TS 中的类型操作分为这两类。对于类型编程,它是对实际开发中真的有帮助的类型操作,下限非常之低,比如其实我们就是简单地用个泛型,这也属于类型编程。而它的上限也很高,比如底层框架中让人眼花缭乱的操作。但我们不需要用一个具体的界限来进行划分,只需要知道,只要是真的对实际开发有帮助的类型操作,无论实现多么复杂,都能被归类于类型编程当中。

那么类型体操又是什么样的?在此之前,你可能看到过基于 TypeScript 类型实现的四则远算、斐波那契数列、象棋、Lisp 编译器这一类令人叹为观止的操作,这些就属于类型体操。但请注意,这个词并不是贬义的,相反,大部分类型体操的作者都是编程功底十分深厚的大牛,他们发明这些体操的意图并不是为了炫技,只是为了展示给萌新们新世界的大门,我个人也非常佩服能写出如此高阶类型运算的大佬们。这些体操虽然对实际项目开发的意义非常有限,但却可以从另外一个角度让你认识到 TypeScript 类型系统的图灵完备,以及在高手手里所表现出来的精妙技巧。

但是,如果你因为看不懂这些体操,或者想不出更炫酷的体操而感到焦虑,那就需要警醒一下了——类型体操绝不代表你的 TS 水平。我看到过很多因为掌握了各种类型体操表演引以为豪的同学,其中有相当一部分人在实际业务开发中,仍然是各种 any 与复制粘贴。这就是非常严重的本末倒置,你学习 TypeScript ,是为了帅气的体操还是为了更高质量的代码呢?

如果你掌握了所有的类型体操,你就能写好所有的业务代码吗?答案显然是否定的。类型体操就像是五年高考三年模拟,只要你愿意花时间,对着答案总是能看明白的,但你看完就能保证做出数学压轴题的最后一小问吗?类型体操绝不应当被作为 TS 水平的度量衡,在绝大多数情况下,我们对于 TypeScript 相关的技巧,都应该秉持着从实用性出发的角度来看待。类似的,还有盯着 TypeScript 源码读,类型编程还没入门就去刷 Type Challenges 等等误区,当你发现学习进度慢得感人,掉发进度快得吓人,真的不会怀疑人生吗?

我个人更偏向于实用主义,就像这本小册一直到现在,以及接下来的内容都是接地气的,不存在你学了却无处可用的知识。这也是我认为在学习一门编程语言/工具/框架时最应该先考虑的事情,一门技术,要么应当能够在当下或者可预见的未来给予你帮助,要么能够扩宽你的技术视野和知识边界(类型体操并不完全算),而类型体操对于新人来说除了徒增焦虑并没有任何意义。

现在我们可以来回答下开始的问题了。

TypeScript 带来了哪些帮助?太多啦,我只讲一个社区中还没见过有人提的点。我们书写的类型实际上也是逻辑,只不过是类型世界的逻辑,并且不存在于运行时。在我们书写实际的代码逻辑时,这些类型逻辑就像是飞机起飞前的预检(preflight)一样,在你的代码还没运行时就能够发现其中隐藏的错误。稳定性、代码质量、严谨性、可读性等等,其实本质都是这一能力。它们的确不能让你的页面性能更好或是业务数据更棒,但却能避免潜在的严重问题,比如白屏和塞满错误监控的 Cannot read property of undefined

对于 TypeScript 来说最重要的,其实是与 JavaScript 的紧密结合,类型能力是添加在 JavaScript 之上的,也就意味着我们不需要学习一门全新的编程语言来获得类型检查。同时,我们可以说它的学习曲线是相对平缓的,因为并不需要学习太长时间就能写出还过得去的 TypeScript 代码。但它的边际成本是明显递增的,也就是说,假如你最开始只需要花 3 个单位的精力和时间,就能提升 10 个单位的类型覆盖程度(用来衡量 TypeScript 代码质量的指标之一),后面可能需要花 10 个单位的精力和时间才能再提升 1 个单位的类型覆盖。

但你真的需要如此高的类型覆盖程度,以及愿意花如此多的精力时间吗?我的建议是,在你优化 TypeScript 代码的过程中,如果感到边际成本明显提升,重构工作开始有些吃力,那你很可能已经达到了一个临界值,也是该停下来的时候了。

而对于 TypeScript 的学习曲线,自然也存在着这么一个平衡点,它标志着你的投入精力和获得回报达成了相对的平衡,再继续投入更多精力也无法看到明显的效果。你是否要问,这本小册中是否也存在着这么个平衡点?当然也是,只不过是几乎全本的内容(笑)。相信我,这本小册中基本都是你现在或未来会需要的技能点。只有 Compiler API 部分稍显复杂,但我们也会讲得有趣好玩一些。而对你自己来说,这个平衡点其实可以非常灵活,随着你的学习深入,TypeScript 技能不断提升,将会越来越渴望更多的知识,那平衡点不就越来越高了?

无论如何记住一件事,不要逼自己学习,当你在某一节学习过程中感觉到容易分神时,那就是时候休息了,站起来活动下身体,打开窗户呼吸下新鲜空气,我会一直在这里等你回来。

# Type Challenges

最后,我们再来说下如何进一步进阶类型编程能力。Type Challenge (opens new window)是 antfu (Vue 团队成员,以及 Vite、Vitest、Nuxt 等知名开源项目的团队成员或作者)的作品,其中搜集了许多类型编程的题目,并且贴心地按照难易程度分为了 easy、medium、hard 三个等级。

虽然我并没有把每一道题都完成,但我仍然推荐想要学习更高阶类型编程的同学去花上一定时间看看。当然,前提是你已经对整个类型能力有比较清晰认知的情况下,只有此时 Type Challenge 才能为你带来正面作用。这本小册中并不会有过于复杂的工具类型讲解,如果你学完之后感觉意犹未尽,还想尝试更多复杂的类型编程,此时就可以打开它来上那么几题了。

请务必牢记,Type Challenge 是在已有一定类型编程基础后,用来进一步提高水平的方式,而不是你用来学习类型编程与类型系统的方式,务必分清其中的因果关系。

Last Updated: 4/25/2024, 11:59:12 PM