起点：
高阶函数的复用，参量函数的混入、数据映射；
从输入到输出的映射。
一切皆是映射
映射即流
流即函数
进阶：
对异步的支持；惰性求值
对并发的支持；纯函数；
对栈内存的优化：尾递归；
终点：
函数式编程的组织及型变：monand
函数式编程语言的形式：声明式语言（以输入、输出（类型）、高阶函数和monad类型为基础）
高阶算子、只用表达式不用语句。
编程思想：
函数式编程关心类型（代数结构）之间的关系，命令式编程关心解决问题的步骤。
输入原始类型->应用原始类型上的操作->得到中间结果类型->得到高阶结果类型。
是原始类型+操作上的高阶映射。
https://www.zhihu.com/question/28292740/answer/100284611
对于函数式编程来说，其只关心，定义输入数据和输出数据相关的关系，数学表达式里面其实是在做一种映射（mapping），输入的数据和输出的数据关系是什么样的，是用函数来定义的。
左耳朵耗子：什么是函数式编程
http://www.yxtvg.com/toutiao/5413179/20180212a04ro500.html。
从映射到流。