为什么你需要子类型化 自2016年Stephen Dolan的论文《代数子类型化》展示了如何将类型推断与子类型化结合以来，我一直在基于这些思想开发越来越复杂的编程语言，先是2019年的IntercalScript，然后是2020年的CubiML，2025年的PolySubML，而我的下一门语言已经在规划中。 我长期以来一直认为，子类型化是编程语言设计的下一个重大进化，对于新编程语言来说，它是一个关键特性。然而，现有的编程语言很少或根本没有子类型化，编程社区对子类型化的认识也普遍不足。因此，在这篇文章中，我将...