摘要
函数式程序设计语言的重要特点之一是多态类型(Polymorphictypes)。它有很强的功能,是所有面向对象的程序设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构,通过剖析SML函数式程序设计语言编译程序中的类型推导过程,揭示了多态类型的基本特征及其实现技术。
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第11期8-15,共8页
Journal of Computer Research and Development
关键词
函数式
程序语言
多类类型
编译程度
Polymorphic type, type inference, compiler, algorithm, unification.