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

本文只讨论图中蓝色部分。 快速修复 command + . ctrl + . 虽然在写法上，这两个操作符与位运算逻辑操作符相同。但在语义上，它们与位运算刚好相反。 对于这种表现，可以这样理解：&表示必须同时满足多个契约，|表示满足任意一个契约即可。 建议库的开发者所提供的公共a…

TS 只是 JS 的增强而已吗？你知道什么是类型编程吗？ 看完本篇文章，让你对类型编程，念头通达。