函数式语言编译中多态类型的实现技术

函数式程度设计语言的重要特点之一是多态类型。它有很强的功能，是所有面向对象的程度设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构，通过剖析ＳＭＬ函数式程度设计语言编译程序中的类型推导过程，提示了多态类型的基本特征及其实现技术。

IMPLEMENTATION TECHNIQUES OF POLYMORPHIC TYPES IN FUNCTIONAL PROGRAMMING LANGUAGE COMPILERS

s: One of the important characteristics of functional languages is polymorphic typestwhich are very powerful and are one of the important mechanisms used to implement polymorphism in object-oriented programming languages. However, the implementation of polymorphictypes is quite different from that of the basic types and other compound types. This paper givesthe important data structures of implementing polymorphic the uqies analyzes the type inference ofSML functional language compiler and reveals the essence and implementation techniques relatedto polymorphic types.