函数式编程从起点到终点

起点：

高阶函数的复用，参量函数的混入、数据映射；

从输入到输出的映射。

 

一切皆是映射
映射即流
流即函数 ​​​​

 

进阶：

对异步的支持；惰性求值

对并发的支持；纯函数；

对栈内存的优化：尾递归；

 

 终点：

函数式编程的组织及型变：monand

函数式编程语言的形式：声明式语言（以输入、输出（类型）、高阶函数和monad类型为基础）

高阶算子、只用表达式不用语句。

 

编程思想：

函数式编程关心类型（代数结构）之间的关系，命令式编程关心解决问题的步骤。

输入原始类型->应用原始类型上的操作->得到中间结果类型->得到高阶结果类型。

是原始类型+操作上的高阶映射。

https://www.zhihu.com/question/28292740/answer/100284611

 

对于函数式编程来说，其只关心，定义输入数据和输出数据相关的关系，数学表达式里面其实是在做一种映射（mapping），输入的数据和输出的数据关系是什么样的，是用函数来定义的。

左耳朵耗子：什么是函数式编程

http://www.yxtvg.com/toutiao/5413179/20180212a04ro500.html。

 

从映射到流。