swift的类型系统

顶级抽象：protocol

具体类型：值类型、引用类型

类型操作：扩展

其他：

范型、函数式类型：function、monand