摘要
本文探讨在运用ML语言中体现面向对象的程序设计风格。更有意义的是,利用ML语言的“隐式类型化及同式多型自动类型检验系统”,赋予面向对象程序设计风格以同式多型的类型化,从而,达到类型化的面向对象程序设计风格。
How to embody object-oriented programming style, when programming with ML language, is discussed. It is more significant to endow the object-oriented programming style with polymorphic typing, using the implicit typing and automatic polymorphic typechecking system in ML language. Hence, a typed object-oriented programming style is attained.
出处
《计算机工程与设计》
CSCD
北大核心
1990年第1期11-17,共7页
Computer Engineering and Design
基金
高技术计划基金
