类型系统的运算

1、类型转换；

2、类型变换（monad）；

3、类型约束；

4、类型推断；

5、类型内省（运行时）；

【推广】 免费学中医，健康全家人
原文地址：https://www.cnblogs.com/feng9exe/p/10523462.html