期刊文献+

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

IMPLEMENTATION TECHNIQUES OF POLYMORPHIC TYPES IN FUNCTIONAL PROGRAMMING LANGUAGE COMPILERS
下载PDF
导出
摘要 函数式程序设计语言的重要特点之一是多态类型(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.
  • 引文网络
  • 相关文献
;
使用帮助 返回顶部