摘要
本文首先将类型继承分别与生物的物种分类、逻辑的单步推理相比较,表明分类不仅是一种系统描述和信息共享机制,还是一种计算机制(单步推理),然后讨论了分类机制在程序设计语言中的表现形式:类型和同式多型(polymorphism),并阐述了面向对象程序设计(OOP)的继承作为同式多型的一种体现,为人们描述和解决问题提供的有力支持。
First, this paper compares the type inheritance with species classification in biology, and logic inference of length one, respectivelg, then presents that classification is not only a kind of system description and information sharing mechanism, but also a kind of computing mechanism (inference of length one). We also discuss the representation of classification mechanism in programming language: type and polymorphism, and point out thatthe nhieritance in Object-Oriented Programming (OOP), as a kind of polymorphism, supports people to describe and solve problms efficiently.
出处
《计算机工程》
CAS
CSCD
北大核心
1992年第2期1-4,共4页
Computer Engineering
关键词
分类机制
程序设计
面向对象
Object-oriented programming Type programming Classification mechanism
