搜索结果: 1-1 共查到“计算机科学技术 ND”相关记录1条 . 查询时间(0.078 秒)
ND-Polya中协变-反变问题的处理方法
面向对象语言 协变-反变 类型.
2007/12/24
协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯, 一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题.针对这一问题,该文基于Castagna的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ND-Polya语言及系统中具体实现.该方法可以应用到其它协变面向...