函數式編程與異步編程

函數式編程與異步編程

 

函數式編程中，異步編程是惰性計算的根源，惰性計算是函數式異步編程的支持；

 

一、高階函數都具備計算構建的功能；

二、函數式編程語言對異步編程的支持是經過惰性求值機制實現的；

三、惰性計算的變量在語言或機制的底層須要保存；在接口層面，一般是做爲高階函數的參量，須要特定的修飾符修飾；

四、惰性求值包含變量的惰性求事和計算的惰性求值，一般重點強調計算的惰性求值

五、高階函數做爲算子，要區別是否包含惰性計算；

無惰性計算的高階函數：構建參量函數、配置高階函數參量、調用執行；

有惰性計算的函數：構建參量函數、配置高階函數參量、調用高階函數完成計算保存；

 

在 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