函数式编程沉思录：结构、抽象、行为与状态

结构：函数作为变量参与构建；

抽象：高阶函数指定了函数类型后，具体实现可以是任何形式。

行为：执行构建的计算；

状态：计算构建与计算执行的关系。

 

一、函数的双重属性：变量与函数。

变量（类型+实例）：用于构建结构

函数：用于执行；

 

函数类型（签名）相当于面向对象编程中的接口。

给函数变量赋值，相当于实现了接口，并创建实现的变量。

 

二、它的执行流有两个：

1、构建执行流（结构）

2、执行执行流

 

三、执行流与（类型）状态

构建流与执行流关系的几种形式：

1、构建流完成以后通知起点启动执行流；

2、构建的同时启动执行流；

1）中间节点保存前面的计算结果，后面的构建完成后继续后面的执行流；

2）中间节点不保存前面的结果，后面的执行流无法执行。

 

四、冷信号与热信号

与前面的状态有类似行为。