高级语言中的类型等价问题

本文针对强类型语言中的类型等价问题，研究了几个影响较大的高级语言对此问题的解决办法，讨论了结构等价与名字等价的利弊，进而分析了类型等价概念在高级语言中的作用，在此基础上，提出一个推荐方案，可以兼收结构等价与名字等价的长处，而不必付出额外的代价。本文最后对如何解决XYZ／G语言的类型等价规定提出了建议。