摘要： 本文首先将类型继承分别与生物的物种分类、逻辑的单步推理相比较,表明分类不仅是一种系统描述和信息共享机制,还是一种计算机制(单步推理),然后讨论了分类机制在程序设计语言中的表现形式:类型和同式多型(polymorphism),并阐述了面向对象程序设计(OOP)的继承作为同式多型的一种体现,为人们描述和解决问题提供的有力支持。

关键词: 面向对象程序设计, 类型程序设计, 分类机制

Abstract: 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.