| 类型系统的研究与进展 |
| |
| 引用本文： | 周晓聪,李文军.类型系统的研究与进展[J].计算机科学,2000,27(5):5-13. |
| |
| 作者姓名： | 周晓聪 李文军 |
| |
| 作者单位： | 周晓聪（中山大学计算机科学系 广州 510275）;李文军（中山大学计算机科学系 广州 510275）;李师贤（中山大学计算机科学系 广州 510275） |
| |
| 基金项目： | 高等学校博士学科点专项科研基金资助课题,资助号:99-018-411703 |
| |
| 摘 要： | 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入了“多态性”,分别提出了System F和多态λ演算。另一方面,Mar-tin-L of为了研究数学的逻辑基础,在70年代初提出了直觉类型理论,后来也用于程序开发的研究。 80年代后,类型系统的研究更是蓬勃发展,在程序语言设计、程序开发和验证以及机器定理证明方面得到了广泛的应用。目前随着面向对象思想逐渐占据软件开发的主流,面向对象程序设计语言的类型系统逐渐成为人们研究的热点。在80年代初,L.Cardelli提出了“子类型”(subtype)的概念,在1985年,他结
|
| 关 键 词： | 类型系统 λ演算 面向对象 软件开发 |
Researches and Advances in Type System |
| |
| Abstract: | In recent years,type system is one of the most important research of theotical computer sci-ence. Based on discussing the general concept of type system,this paper outlines the main contents of type system from programming and logical view,and presents the new results in a systematic way. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
