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

本章内容包含: 1、类型断言，2、非空断言，3、typeof，4、keyof，5、泛型，6、泛型函数，7、泛型的问题，8、泛型接口，9、泛型工具

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

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

类型推断 infer 是作为 extends 条件类型的子语句使用，同时在 TS2.8 推出。（如果你不熟悉 extends 条件类型可以查看之前分享的 TypeScript 的 extends 条件类型） 上面的 infer U 语句就是声明一个类型变量 U（它可以是任意字母…

近来发现 TypeScript 已成一种趋势，基本已成大型项目的标配。TypeScript 弥补了弱类型的 JavaScript 所带来的一些缺点，可以帮助我们构建更稳健的代码，同时也增强可阅读性和可维护性。可以使得许多运行时才能出现的错误，在编译时就暴露出来，让潜在的问题更容…

本文主要整理一下extends关键字在TS中的两种用法，即接口继承和条件判断。文章重点说明extends条件判断在ts中的特殊用法，以及尝试解释一些特殊示例。最后，举例说明extends在高级类型推断

我们知道，TypeScript 支持 infer 来提取类型的一部分，通过模式匹配的方式。 比如元组类型提取最后一个元素的类型： 比如函数提取返回值类型： 比如字符串提取一部分，然后替换： 模式匹配就

但是没有太具体的例子。 明人不说暗话，直接上区别。 interface 和 type 都可以拓展，并且两者并不是相互独立的，也就是说 interface 可以 extends type, type 也可以 extends interface 。 虽然效果差不多，但是两者语法不同…