Inheritance, in particular, can only be understood fully if we look at it as providing both module extension and type specialization.

• 尤其是，只有在我们把继承看作是同时提供模块延伸和类型特殊化的情况下，它才能被充分地了解。