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

前言：Typescript是前端当中一门饱受争议的技术，有人爱有人恨。在本文中，我不会劝你使用或者不使用TS，而是会站在一个客观的角度，探讨TS这门技术所解决的更本质的问题（即JS类型问题）及其解决方案（TS只是其中一种）。希望阁下看完这篇文章之后，能够超脱于TS本身，看到更加…