函数式编程中的函数—函数式编程的多态

函数式编程中的函数—函数式编程的多态

 

保存了计算上下文和计算过程的特殊值

保存了计算上下文和计算过程的有输入输出的可计算结构。

保存了计算上下文和计算过程的可配置结构；（柯里化）。

 

函数作为一种特殊的值和结构，可以由更高阶的函数对其进行组合、变换、柯里化等操作；

 

函数作为输入和输出：本质上都是可配置、可计算结构。

可配置的是作为参量输入的计算上下文；

可计算是计算上下文配置完备后直接进行计算；

 

普通函数；

参数函数（闭包函数）；

高阶函数；

返回函数（内部函数）；

 

 

值函数：被其它函数引用和调用的函数；

上下文函数：给值函数提供上下文（参量）的函数。

 

函数：需要初始化的可求值结构；

函数变量：需要二阶初始化的可求值变量

1、求值结构初始化；函数绑定；

2、求值上下文初始化；参数变量绑定；

 

函数作为返回值的函数的解析

1、定义函数变量，引用函数返回值；

2、对函数变量进行上下文初始化，执行求值；

 

形参上下文：

函数内部对其它函数的引用，一部分是通过形参初始化的；

 

编译器会对所有的基础函数：不管是内部还是外部的进行编译存储。

函数式编程中可变的是同一签名下，不同实现的函数的可替代性。

 

基础函数：函数式编程中所有的不可变的函数；

组合函数：通过不可变的函数结合而成的函数。

组合函数的调用入口仍然是基础函数；

 

函数式编程的多态：

同一个基础函数与不同的其它函数组合，会有不同的行为形式。