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

TypeScript的优势: ts是js的超集，强类型，更安全 继承了js的所有编程类型，js代码可在ts环境很好的运行 为构建大型应用而生，但小程序同样适用 强大的类型系统，拥有静态类型检查能力。

深入讲解Typescript高级类型工具实现原理和编程技巧。全程干货、不扯闲篇，助你轻松实现Ts进阶。