顶级抽象:protocol 具体类型:值类型、引用类型 类型操作:扩展 其他: 范型、函数式类型:function、monand 转载于:https://www.cnblogs.com/feng9exe/p/11225075.html