函数式编程的三个核心问题：计算的构建、求值、关系
一、关系：
1、函数与函数的关系：引用、无关；
2、函数与值的关系：输入输出、上下文；
3、值与值的关系：引用、因果；
二、计算的构建：
1、输入输出流的平凡构建；签名兼容的函数调用链构建；无高阶函数，构建器compose pipeline本身是高阶函数；
2、函数作为参量引用链的构建；
3、monad+高阶函数的类型推演链构建；构建的形式相当于普通数据结构的单向或双向链表；
三、求值（计算）的执行：
1、输入
1）平凡值：普通的变量
2）信号源：响应式编程中的输入；
3）异步计算：将异步计算封装为一个特殊的值；
4）io流：同步或异步的io事件或数据流；
2、计算的执行
1、显式调用：计算结构完成后显式调用计算的整体结构；
2、构建调用：在引入后继计算时，计算当前和引入计算的阶段计算结果保存进一个monand中，供后即计算使用；
3、异步或IO流注入，触发调用事件；
4、回溯调用：计算构建完毕后，由末端节点触发求值，求值请求沿着计算节点在源头触发求值；计算结构是由monad链接起来的双向链结构；
pushpullobserver;
四、构建与计算的关系：
先构建计算，再调用计算结构执行计算；构建的过程只有计算关系的构建，只有函数的组装，没有求值的过程。
边构建边计算；每引入一个计算后，就执行阶段性计算结果；计算结果保存进一个monand中，供后即计算使用；
五、同步与异步
同步：
1、无monad参与的计算构建：求值过程遵从先构建再求值的过程；
2、有moand参与的计算构建：边构建边计算，计算的输入和结构都有monand作为上下为保存。moand同事作为计算结构连接节点的作用；
异步：
moand作为封装异步数据的上下文参与计算的构建和计算的执行。