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

 

一、关系:

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作为封装异步数据的上下文参与计算的构建和计算的执行。

 


------------------越是喧嚣的世界,越需要宁静的思考------------------ 合抱之木,生于毫末;九层之台,起于垒土;千里之行,始于足下。 积土成山,风雨兴焉;积水成渊,蛟龙生焉;积善成德,而神明自得,圣心备焉。故不积跬步,无以至千里;不积小流,无以成江海。骐骥一跃,不能十步;驽马十驾,功在不舍。锲而舍之,朽木不折;锲而不舍,金石可镂。蚓无爪牙之利,筋骨之强,上食埃土,下饮黄泉,用心一也。蟹六跪而二螯,非蛇鳝之穴无可寄托者,用心躁也。