subtyping
-
为什么在用作函数参数之前需要将子类型分配给变量？
-
使用带有子类型参数的超级方法
-
Scala for-comprehension with Option 和 Some，由 ReaderT 包装
-
为什么 Typescript 允许子类型化？
-
流类型，转换为数组类型不适用于显式类型，但适用于隐式类型
-
在 C++ 中，引用限定符是否表示一种子类型化形式？
-
逆变和协变是否意味着也使用相同的类型？
-
在 TypeScript 中调用函数类型的联合
-
打字稿泛型。无法将 B 的实例传递给参数 a：T，其中 T 扩展 B。为什么？
-
扩展 `Function` 类型和不扩展有什么区别？
-
空列表平等如何工作？
-
对 java 规范中的泛型子类型感到困惑？
-
Ada 中派生类型和子类型之间的唯一区别是赋值吗？
-
子集块（或一般的 Callables）
-
Option 类型的子类型关系
-
任何可提升为“单位”的 λ 密码域？
-
多态变体子类型实现与签名不匹配
-
Rust 子类型化/"runtime polymorphism"/在 Boxes 中使用特征
-
我们可以在 Java（或 Kotlin）中表示 "self class" 吗？
-
通配符模式覆盖多态变体的子类型约束