TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个超集，而且本质上向这个语言添加了可选的静态类型和基于类的面向对象编程。 一、! 非空断言操作符 在上下文中当类

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

TypeScript有神好处呢？它可以在编译时捕获许多常见的错误，如类型不匹配、属性不存在等。这可以大大减少在运行时出现的错误，并提高代码的可靠性和稳定性。