函数式编程与异步编程

函数式编程与异步编程

 

函数式编程中，异步编程是惰性计算的根源，惰性计算是函数式异步编程的支持；

 

一、高阶函数都具备计算构建的功能；

二、函数式编程语言对异步编程的支持是经过惰性求值机制实现的；

三、惰性计算的变量在语言或机制的底层须要保存；在接口层面，一般是做为高阶函数的参量，须要特定的修饰符修饰；

四、惰性求值包含变量的惰性求事和计算的惰性求值，一般重点强调计算的惰性求值

五、高阶函数做为算子，要区别是否包含惰性计算；

无惰性计算的高阶函数：构建参量函数、配置高阶函数参量、调用执行；

有惰性计算的函数：构建参量函数、配置高阶函数参量、调用高阶函数完成计算保存；

 

在 Miranda 和 Haskell 中，缺省延迟函数实际参数的求值。在不少其余语言中，可使用特殊语法明确悬置计算来延迟求值(好比 Scheme 的 "delay" 或 "force")

 

swift对惰性求值的支持：@escaping

 

在Scala里，经过lazy val来指定一个变量是惰性求值的

 

 

函数式编程语言还提供惰性求值（Lazy evaluation，也称做call-by-need），是在将表达式赋值给变量（或称做绑定）时并不计算表达式的值，而在变量第一次被使用时才进行计算。

 

某些编程语言缺省延迟表达式的求值，另外一些提供函数或特殊语法来延迟求值。在 Miranda 和 Haskell 中，缺省延迟函数实际参数的求值。在不少其余语言中，可使用特殊语法明确悬置计算来延迟求值(好比 Scheme 的 "delay" 或 "force")，更通常的经过把一个表达式包装在 thunk 中。表示这种明确延迟求值的对象叫作预期或承诺。

https://www.cnblogs.com/feng9exe/p/8659699.html

 

函数式结构树的构建过程只是计算的绑定的过程；从执行的角度看它有另外一个术语“惰性求值”：

函数式编程语言还提供惰性求值（Lazy evaluation，也称做call-by-need），是在将表达式赋值给变量（或称做绑定）时并不计算表达式的值，而在变量第一次被使用时才进行计算。

某些编程语言缺省延迟表达式的求值，另外一些提供函数或特殊语法来延迟求值。在 Miranda 和 Haskell 中，缺省延迟函数实际参数的求值。在不少其余语言中，可使用特殊语法明确悬置计算来延迟求值(好比 Scheme 的 "delay" 或 "force")，更通常的经过把一个表达式包装在 thunk 中。表示这种明确延迟求值的对象叫作预期或承诺。

The benefits of lazy evaluation include:

• The ability to define control flow (structures) as abstractions instead of primitives.

 

 

惰性求值的管理：处理函数的保存、处理函数的执行（apply）。

https://www.cnblogs.com/feng9exe/p/9785638.html

 

swift对惰性求值的支持：@escaping