oc的类型系统

值类型；

对象类型；

block、函数式类型；

抽象类型：协议；

类型的操作：

分类、扩展；