OOP and type system
Class and type
OOP的unit是object,而不是class。OOP有两个流派,class-based和prototype-based。
class相当于一种类型,type system中的概念基本上都能够应用于class。
wikipedia Subtyping
Downcast and upcast
在Theory\Type-system\Type-conversionDowncast-and-upcast.md
中,对此进行了说明。