Skip to content

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中,对此进行了说明。