高级程序设计语言中归并数据类型的研究

本文讨论如何用归并类型来代替高级程序设计语言中指针和记录（如ＰＡＳＣＡＬ），归并类型的设计除了具有统一之外，还具有更高可靠性，本文已将归并类型插入到Ｍｐｄｕｌａ－２程序语言中。