English

应用科学学报 ›› 1994, Vol. 12 ›› Issue (4): 325-332.

• 论文 • 上一篇    下一篇

参数化类型及动态类型检查

梅宏1, 孙永强2   

  1. 1. 北京大学;
    2. 上海交通大学
  • 收稿日期:1992-12-06 出版日期:1994-12-31 发布日期:1994-12-31
  • 基金资助:
    国家自然科学基金

PARAMETRIC TYPE DYNAMIC TYPE CHECKING

MEI HOHG1, SUN YONGQIANG2   

  1. 1. Peing University;
    2. Shanghai Jiao Tong university
  • Received:1992-12-06 Online:1994-12-31 Published:1994-12-31

PDF

74

摘要： 数据类型是程序设计语言设计中的一个重要概念。该文通过对Milner多态类型系统的扩展,提出了一个允许将类型作为一阶对象处理的参数化类型系统,并给出了相应的动态类型检查规则。

关键词: 多态性, 参数化类型, 数据类型, 程序设计语言, 类型检查

Abstract: The data type is an important concept in the programming languages design.Based on the argument of Milner's polymorphic type system,this paper presents a parametric type system which treats types as first-class objects,and provides dynamic type checking for this system.

Key words: programming language, parametric type, data type, type checking, polymorphism