Loading article…
コンピュータサイエンスのプログラミング言語の理論では、デフォレスト化（融合とも呼ばれる）とは、作成されてすぐにプログラムによって使用される 中間リストまたはツリー構造を削除するためのプログラム変換です。
「森林破壊」という用語は、もともとフィリップ・ワドラーが1990年に発表した論文「森林破壊：樹木を伐採するプログラムの転換」の中で造られたものである。[1]
デフォレスト化は、関数型プログラミング言語、特にHaskellのような非厳密なプログラミング言語のプログラムに典型的に適用されます。デフォレスト化のための特定のアルゴリズムの1つであるショートカットデフォレスト化[2]は、グラスゴーHaskellコンパイラに実装されています。[3]デフォレスト化はエスケープ解析と密接に関連しています。
参照
参考文献
- ^ Wadler, Philip (1990). 「森林破壊: 木々を除去するためのプログラムの変換」.理論計算機科学. 73 (2): 231–248. doi : 10.1016/0304-3975(90)90147-A .
- ^ Gill, Andrew; John Launchbury; Simon Peyton Jones (1993). 「森林破壊への近道」(PDF) . Proc. Conf. on Functioning Languages and Computer Architecture . pp. 223–232. doi :10.1145/165180.165214.
- ^ Peyton Jones, Simon; Andrew Tolmach; CAR Hoare (2001). 「ルールに従ってプレイする: GHC での実用的な最適化手法としての書き換え」(PDF)。Proc. ACM/SIGPLAN Haskell Workshop。