类型化面向对象程序设计风格体现于ML语言 |
| |
引用本文: | 江明德,祥珠.类型化面向对象程序设计风格体现于ML语言[J].计算机工程与设计,1990(1). |
| |
作者姓名: | 江明德 祥珠 |
| |
作者单位: | 电子科学技术大学 成都
(江明德),电子科学技术大学 成都(祥珠) |
| |
摘 要: | 本文探讨在运用ML语言中体现面向对象的程序设计风格。更有意义的是,利用ML语言的“隐式类型化及同式多型自动类型检验系统”,赋予面向对象程序设计风格以同式多型的类型化,从而,达到类型化的面向对象程序设计风格。
|
关 键 词: | 程序设计 |
本文献已被 CNKI 等数据库收录! |
|