最近看swift的范型和typeclass很辛苦，一点也摸不着头绪；
所以总结了以下类型系统的运算法则，以简化类型的转化、组合、变换等规则；
is-a has-a use-a like-a as-a extension-a assign-a like-a-default
基础关系：
is-a：继承、对象属于类型的说明；
has-a:组合关系；
use-a:临时变量的使用和函数参量；
as-a:类型转换；
基础范型关系：
generic-a:范型类型；
assign-a:为范型类型指定类型参量；
抽象接口：
like-a:抽象类型、接口类型与实现关系；
defalut-a:
like-a-defalut：为抽象类实现缺省功能，在swfit语言中有这种功能；
typeclass：
moand-a：like-a与generic-a的合体；函数式编程和随意多态中用到；
给类型添加功能：
extension-a:在类型上添加功能；
目的是在理清类型关系的时候能够有法则和依据。
范型是has-a\use-a的类型游戏;
typeClass是is-a + has-a的游戏
is a has a like a user a
is-a has-a use-a like-a as-a extension-a assign-a like-a-default
原文：https://www.cnblogs.com/feng9exe/p/10981317.html