协变和逆变：对一个旧问题的新视角（面向学习函数式编程者的高级类型系统入门）
摘要：协变和逆变：没有原因的冲突。再审视协变和逆变方法参数在面向对象编程中不同的目的，认为它们应该同时存在于同一种语言。重新评估这篇文章的结果，基于最近在子类型理论和编程语言方面的进展，并对这个旧问题进行重新审视。实际上，重新审视这个问题只是为了写一篇论文，目的是以简单的术语和示例来向本科计算机科学专业的学生和/或愿意进行函数式编程的程序员解释复杂的类型理论概念。最后，我借此机会描述了一些未经记录的高级类型系统实现技术，这些技术只有少数内部人员深入研究了一些编译器的代码才知道，因此即使是专家语言设计师和实现者也会发现这个工作值得一读。
作者：Giuseppe Castagna
论文ID：1809.01427
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-22