Déforestation (informatique)

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"[1].

La déforestation est généralement appliquée aux langages de programmation fonctionnelle, en particulier les langages non-stricts (Langages de programmation non-stricts (en)) tels que Haskell. Un des algorithmes de déforestation, la déforestation par raccourcis[2] est mis en œuvre dans le Glasgow Haskell Compiler[3].

Voir aussi
  • Hylomorphism (informatique)

Références
  1. (en) Philip Wadler, « Deforestation: transforming programs to eliminate trees », Theoretical Computer Science, vol. 73, no 2,‎ , p. 231–248 (DOI 10.1016/0304-3975(90)90147-A, lire en ligne)
  2. Andrew Gill (1993). « A short cut to deforestation » Proc. Conf. on Functional Programming Languages and Computer Architecture: 223–232 p. (DOI:10.1145/165180.165214).
  3. Simon Peyton Jones (2001). « Playing by the rules: rewriting as a practical optimization technique in GHC » Proc. ACM/SIGPLAN Haskell Workshop.
  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.