论文部分内容阅读
协变－反变问题讨论面向对象语言中继承机制和多态计算的关系，晃当前面向对象程序设计语言中的一个重要的理论问题。反变的方法重定义不符合思维习惯，一盘采用协变精化的设计方法。但抛弃反变后的面向对象程序设计，在多态计算中会产生类型问题。针对这一问题，该文基于Ｃａｓｔａｇｎａ的重载函数模型，提出处理协变相关类型问题的类型系统和计算模型，并在ＮＤ－Ｐｏｌｙａ语言及系统中具体实现。该方法可以应用到其它协变面向对