函数式编程的类型转换

1、基础类型转换为高阶类型（monad），以便使用函数式编程的特性：map、reduce，pipeline、业务组织、异步编程等；

2、高阶类型转化为基础类型：以便使用基础类型的态射（计算）功能。

3、高阶类型的内部转换（泛型类型转换）--类型关乎复合--以便业务的组织。

高阶类型起到桥接的功能。

函数式编程的类型系统开发的首要任务是搞清楚类型转换的规则：

高低层的双向转换（升降阶）；

同级类型间的计算转换。