質問ですいません。
「lambda lifter」って、どういう処理なんでしょうか？
局所関数(関数内の関数)を展開して外側の関数と一体化する処理らしいですけど
実行速度改善のための最適化処理の一種だと考えてよいのでしょうか？
http://citeseer.nj.nec.com/lester91modular.html

それと関数型言語にある代表的な最適化処理があれば教えてください。