顶级抽象：protocol
具体类型：值类型、引用类型
类型操作：扩展
其他：
范型、函数式类型：function、monand
swift的类型系统
原文：https://www.cnblogs.com/feng9exe/p/11225075.html
