超越面向对象：编程语言的子类型演进

本文探讨了编程语言设计中子类型的关键作用。作者从自身开发的编程语言经历出发，阐述了子类型并非仅限于面向对象编程中的类继承，而是一种更基础的概念：类型X是类型Y的子类型，意味着X值可用于任何期望Y值的地方。文章深入浅出地解释了即使在注重性能的低级语言中，子类型也至关重要，它能帮助编译器静态检查空值、别名等问题，从而提高代码可靠性，并最终促进编程语言的演进。