类型论

可变与不可变数据结构为何不应形成子类型关系

在编程语言设计中，可变数据结构和不可变数据结构不应该互为子类型。这一结论源于对Liskov替换原则的严格应用。根据该原则，类型S成为T的子类型当且仅当S的值可以在期望T值的任何上下文中使用。