免责声明： 笔者 从未接受过 PLT(Programming Language Theory) 教育 从未系统学习过范畴论 从未系统学习过类型理论 描述难免有误，请批评指正 前置知识：协变和逆变协变和逆变是指(存在继承关系的)类型参数在类型系统中的变化⽅式。 假设存在⼀个泛型类型 Foo<T> 和两个类型 A 和 B 。 那么： 协变代表：如果 A 是 B 的⼦类型，则 Foo&l

2023 年 1 月 26 日，微软发布了 TypeScript 5.0 Beta 版本，其中最为重磅的新特性是 Decorators 为什么「装饰器」是一个新特性？在之前的 TypeScript 版本中，装饰器已经可以通过 tsc --experimentalDecorators 来使用，但通过这个方式使用的装饰器与 TC39 Decorators Proposal 的规范并不相同，“新”装

只是个占位符没有更多内容