跳至內容

用戶:Lilin3035/Lambda lifting

維基百科,自由的百科全書

lambda lifting是重構程序使其函數定義在全局作用域內獨立存在的元編程。一個單獨的「lift」將一個局部的函數轉換成全局函數。這個過程有兩步,包含:

  • 通過添加參數消除函數中的自由變量
  • 將函數從一個受限作用域移動到更廣泛的作用域。

「lambda lifting」一詞由托馬斯·約翰遜(Thomas Johnsson)於1982年左右首次提出,並且在歷史上作為實現函數式編程語言的一種機制。 在某些現代編譯器中,它與其他技術結合使用。 lambda lifting與閉包轉換不同



章節標題

[編輯]

參考資料

[編輯]


外部連結

[編輯]