lambda lifting是重構程序使其函數定義在全局作用域內獨立存在的元編程。一個單獨的「lift」將一個局部的函數轉換成全局函數。這個過程有兩步,包含:
「lambda lifting」一詞由托馬斯·約翰遜(Thomas Johnsson)於1982年左右首次提出,並且在歷史上作為實現函數式編程語言的一種機制。 在某些現代編譯器中,它與其他技術結合使用。 lambda lifting與閉包轉換不同