我觉得自己很傻，因为我已经多次浏览了Rust文档中的标记部分以及关于子类型和变异性的维基百科文章，但对生命周期子类型关系的理解并没有提高。 我想我只是习惯了“典型的面向对象编程风格”中的子类型关系，例如“Cat <: Animal”表示“Cat是Animal的一个子类型”，其中“S是T...

考虑以下一对函数定义，它们通过类型检查器：a :: forall a. a a = undefined b :: Int b = a 也就是说，类型为forall a. a的表达式可以被用在期望类型为Int的地方。这对我来说看起来很像子类型化，但据称Haskell的类型系统缺乏子类型化。这些...

假设类B继承自类A。下面的Java代码是合法的： List<A> x; List<? super B> y = x; 就规范而言，这意味着 List<A> 赋值给 List<? super B>。然而，我找不到规范中说这是合法的部分。特别是...

关于下面的C++程序： class Base { }; class Child : public Base { }; int main() { // Normal: using child as base is allowed Child *c = new Chil...

假设我有一个简单的类型类(type class)，其实例会给我某种类型(type)的值:trait GiveMeJustA[X] { def apply(): X } 我有一些实例：case class Foo(s: String) case class Bar(i: Int) implic...

我对通用子类型感到困惑。 在Java中，如果类型A是类型B的子类型，那么泛型类型C<A>和C<B>是不变的。例如，ArrayList<Base>不是ArrayList<Derived>的子类型。 然而，在Scala中，如果类型A是类型B的子类...

阅读《类型和编程语言》，我对使用闭包和记录子类型实现对象印象深刻（第18章）。有没有特殊的原因，导致OCaml不支持记录子类型（虽然我知道对象支持）？事实上，我找不到任何支持此功能的语言。

我来自Java背景，现在正在尝试理解Haskell的类型系统。在Java世界中，里氏替换原则是基本规则之一，我想知道这是否也适用于Haskell（请原谅我对Haskell的了解有限，希望我的问题有意义）。 例如，在Java中，通用的基类Object定义了方法boolean equals(Ob...

在他的演讲《编译器就是数据库》中，Martin Odersky提出了一个有趣的变量角落情况： class Tree[-T] { def tpe: T @uncheckedVariance def withType(t: Type): Tree[Type] } T的定义是逆变的，因...

try { throw Derived(); } catch (Base&) { std::cout << "subtyping\n"; } try { throw "lol"; } catch (std::string) { std::c...