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

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