lambda演算

lambda演算

lambda演算是一種計算模型，由Alonzo Church引入以定義“可計算函數”。

lambda表達式定義

lambda表達式用以下格式定義
λ變量.表達式體

lambda函數工作方式

lambda函數如何工作——規約
三種規約規則

• α-轉換(α-conversion)：alpha轉換的意思是變量名不影響函數含義的意思。
  λa b.a+b和λx y.x+y函數的功能並沒有發生變化
• β歸約(β-reduction)：beta歸約的規則是把函數“應用”到傳入的參數上
• η變換(η-conversion)：如果兩個函數對於所有相同的傳入的參數都能得到一樣的結果，則兩個函數相等。