TypeScript 类型级别示例介绍

介绍

这是一门在线课程，旨在将您的TypeScript技能从中级提升到高级。它将使你深入了解类型系统的基本原理，并指导你完成其高级功能。在这里，你会找到成为TypeScript专家所需的一切-不仅有深入的内容，还有练习新技能的有趣挑战，就像这里的这个。

/**
 * Try assigning "World" to `type Hello`!
 */
type Hello = "...";
// Type-level unit tests!
// If the next line type-checks, you solved this challenge!
type test1 = Expect<Equal<Hello, "World">>;

多年来，TypeScript的类型系统已经从基本的类型注释发展成为一种大型复杂的编程语言。如果你曾经研究过一个开源库的代码，你可能会发现一些看起来很吓人、很陌生的类型，比如来自另一个星球的一些深奥的语言。库代码通常需要比我们习惯编写的代码更抽象；

这就是为什么它广泛使用高级TypeScript功能，如泛型、条件类型、映射类型甚至递归类型。我个人在研究TS Pattern时学习了这些概念，这是一个开源库，具有极其难以键入的特殊性。在本课程中，我希望分享我通过阅读过多的源代码和对类型系统进行数百小时的修改所学到的知识。

类型之所以很棒，有很多原因：

• 类型可以作为代码的文档，以便查询。
• 类型可以向开发人员提供代码提示。
• 类型能发现错误和拼写错误。

类型系统对您的代码了解得越多，它对你的帮助就越大！一旦你精通TypeScript，一切都变得可能。您将不再觉得类型系统限制了您编写所需抽象的能力。

想不想检查路由参数传递的是否正确?

走你：

// ✅ this is correct