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