ts/advance/%E5%8D%8F%E5%8F%98%E5%92%8C%E9%80%86%E5%8F%98

[giscus[bot]]

ts/advance/%E5%8D%8F%E5%8F%98%E5%92%8C%E9%80%86%E5%8F%98

引言 在类型系统中，协变和逆变是对类型比较(类型兼容)一种形式化描述。在一些类型系统中，例如 Java，这些概念是显式嵌入到语言中的，例如使用extends关键字表示协变，使用super关键字表示逆变。在其他一些类型系统中，例如 TypeScript，协变和逆变的规则是隐式嵌入的，通过类型兼容性检查来实现。 协变和逆变的存在使得类型系统具有更大的灵活性...

https://www.coding-time.cn/ts/advance/%E5%8D%8F%E5%8F%98%E5%92%8C%E9%80%86%E5%8F%98.html