函数式编程的三个核心问题：计算的构建、求值、关系

函数式编程的三个核心问题：计算的构建、求值、关系

 

一、关系：

1、函数与函数的关系：引用、无关；

2、函数与值的关系：输入输出、上下文；

3、值与值的关系：引用、因果；

 

二、计算的构建：

1、输入输出流的平凡构建；签名兼容的函数调用链构建；无高阶函数，构建器compose pipeline本身是高阶函数；

2、函数作为参量引用链的构建；

3、monad+高阶函数的类型推演链构建；构建的形式相当于普通数据结构的单向或双向链表；

 

三、求值（计算）的执行：

1、输入

1）平凡值：普通的变量

2）信号源：响应式编程中的输入；

3）异步计算：将异步计算封装为一个特殊的值；

4）io流：同步或异步的io事件或数据流；

 

2、计算的执行

1、显式调用：计算结构完成后显式调用计算的整体结构；

2、构建调用：在引入后继计算时，计算当前和引入计算的阶段计算结果保存进一个monand中，供后即计算使用；

3、异步或IO流注入，触发调用事件；

4、回溯调用：计算构建完毕后，由末端节点触发求值，求值请求沿着计算节点在源头触发求值；计算结构是由monad链接起来的双向链结构；

 

push\pull\observer;

 

四、构建与计算的关系：

先构建计算，再调用计算结构执行计算；构建的过程只有计算关系的构建，只有函数的组装，没有求值的过程。

边构建边计算；每引入一个计算后，就执行阶段性计算结果；计算结果保存进一个monand中，供后即计算使用；

 

五、同步与异步

同步：

1、无monad参与的计算构建：求值过程遵从先构建再求值的过程；

2、有moand参与的计算构建：边构建边计算，计算的输入和结构都有monand作为上下为保存。moand同事作为计算结构连接节点的作用；

异步：

moand作为封装异步数据的上下文参与计算的构建和计算的执行。

 

转载于:https://www.cnblogs.com/feng9exe/p/11364040.html