déforestation

Dans la théorie des langages de programmation en informatique, la déforestation (aussi connue sous le nom de fusion) est une transformation de programmes qui permet d'éliminer les structures d'arbre. Le terme de "déforestation" a été inventé par Philip Wadler , dans son article "La déforestation : la transformation des programmes afin d'éliminer les arbres". La déforestation est généralement appliquée aux langages de programmation fonctionnelle, en particulier les langages non-stricts ( (en)) tels que Haskell. Un des algorithmes de déforestation, la déforestation par raccourcis est mis en œuvre dans le Glasgow Haskell Compiler.