ND-P0lya中协变-反变问题的处理方法

摘要

协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题.针对这一问题,该文基于Castagna的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ND-Polya语言及系统中具体实现.该方法可以应用到其它协变面向对象语言中.