lambda lifting是重構程序使其函數定義在全局作用域內獨立存在的元編程。一個單獨的「lift」將一個局部的函數轉換成全局函數。這個過程有兩步,包含:
- 通過添加參數消除函數中的自由變量。
- 將函數從一個受限作用域移動到更廣泛的作用域。
「lambda lifting」一詞由托馬斯·約翰遜(Thomas Johnsson)於1982年左右首次提出,並且在歷史上作為實現函數式編程語言的一種機制。 在某些現代編譯器中,它與其他技術結合使用。
lambda lifting與閉包轉換不同
章節標題
參考資料
外部連結