Avskogning (datavetenskap)
I teorin om programmeringsspråk inom datavetenskap är avskogning (även känd som fusion ) en programomvandling för att eliminera mellanliggande listor eller trädstrukturer som skapas och sedan omedelbart konsumeras av ett program.
Termen "avskogning" myntades ursprungligen av Philip Wadler i hans uppsats "Deforestation: transforming programs to eliminate trees" från 1990.
Avskogning appliceras vanligtvis på program i funktionella programmeringsspråk , särskilt icke-stränga programmeringsspråk som Haskell . En speciell algoritm för avskogning, genvägsavskogning , är implementerad i Glasgow Haskell Compiler . Avskogning är nära relaterat till rymningsanalys .
Se även