函数式编程关心类型（代数结构）之间的关系，命令式编程关心解决问题的步骤
函数式编程也遵从 数据结构+算法 的约束。
关心的是结构的映射或者变换。
https://www.cnblogs.com/feng9exe/p/8649843.html
函数式编程即为：构造类型的映射关系。
函数式编程不仅仅设计函数的复合与代数数据结构，它还提供了对并发计算的支持，这是其他编程范式难以实现的。
https://segmentfault.com/a/1190000003882331
<译> 写给程序猿的范畴论 · 序
》》