XYZ/G2的类型等价问题

本文扼要地讨论了强类型语言中的类型等价一般概念,并分析了结构等价和各字等价的特点。在此基础上,本文着重研究了系统程序设计语言和XYZ/G2语言的类型等价设计依据。指出:在系统程序设计语言中宜于采用结构等价的原则,XYZ/G2也同样。最后,我们给出了 XYZ/G2的类似结构等价定义,并对其利弊进行了简单的分析。