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