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

IMPLEMENTATION TECHNIQUES OF POLYMORPHIC TYPES IN FUNCTIONAL PROGRAMMING LANGUAGE COMPILERS

作　　者：黄明和[1] 

机构地区：[1]江西师范大学计算机科学系

出　　处：《计算机研究与发展》1995年第11期8-15,共8页Journal of Computer Research and Development

摘　　要：函数式程序设计语言的重要特点之一是多态类型（Ｐｏｌｙｍｏｒｐｈｉｃｔｙｐｅｓ）。它有很强的功能，是所有面向对象的程序设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构，通过剖析ＳＭＬ函数式程序设计语言编译程序中的类型推导过程，揭示了多态类型的基本特征及其实现技术。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.

关 键 词：函数式 程序语言 多类类型 编译程度 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP314[自动化与计算机技术—计算机科学与技术]