Dziedziczenie a podtypy
A distinction between inheritance and subtyping is not often made: classes are often equated directly with types.
From a behavioural point of view a type defines characteristics and a class defines an implementation of these characteristics.
Kevlin Henney
Distributed Object-Oriented Computing:
The Development and Implementation of an Abstract Machine