标签：red 异步 类型 任务 复合 pip nbsp 基础类型 计算
1、基础类型转换为高阶类型（monad），以便使用函数式编程的特性：map、reduce，pipeline、业务组织、异步编程等；
2、高阶类型转化为基础类型：以便使用基础类型的态射（计算）功能。
3、高阶类型的内部转换（泛型类型转换）--类型关乎复合--以便业务的组织。
高阶类型起到桥接的功能。
函数式编程的类型系统开发的首要任务是搞清楚类型转换的规则：
高低层的双向转换（升降阶）；
同级类型间的计算转换。
标签：red 异步 类型 任务 复合 pip nbsp 基础类型 计算
原文地址：https://www.cnblogs.com/feng9exe/p/10491620.html
