Identifica la temàtica clau d'aquest text.
Desforestació en informàtica, anomenada també fusió de bucles, és una transformació de programes per eliminar estructures intermèdies temporals. S'aplica en el context d'una composició de funcions sobre estructures, obtenint la fusió dels bucles que les recorren. El terme “desforestació” va ésser emprat per primera vegada per Philip Wadler en el seu estudi "Deforestation: transforming programs to eliminate trees".La desforestació té aplicació en llenguatges de programació funcional, en especial els llenguatges estrictes com ara el OCaml i Scala. En els llenguatges d'avaluació tardana com ara Haskell en una composició els elements es forneixen sota comanda d'un en un (crida per necessitat), evitant la generació completa d'estructures intermèdies dels llenguatges estrictes. Queda llavors l'optimització possible de fusió dels bucles.
El text tracta sobre informàtica.