Deforestation (computer science) とは

コンピュータサイエンスのプログラミング言語理論では、森林破壊(融合とも呼ばれる)はプログラムによって作成され、すぐに消費される中間リストやツリー構造を削除するプログラム変換です。
「森林破壊」という用語は、元来、フィリップ・ワドラー氏の論文「森林破壊:樹木を排除するプログラムの変革」で作成されました。
森林破壊は、通常、関数型プログラミング言語、特にHaskellなどの厳密ではないプログラミング言語のプログラムに適用されます。森林破壊のための特定のアルゴリズム、ショートカット森林伐採はグラスゴーハスケルコンパイラで実装されています。森林破壊はエスケープ分析と密接に関連している。