Si tu as une structure de données, en général des arbres, et que tu enchaines les traitement map().fold().map(), tu créais un grand nombre d'arbres intermédiaires. Souvent, un map().map() peut fusionner en un seul map(). Ce qui permet de ne pas créer cette arbre temporaire.
[^] # Re: Article de base excellent
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La programmation concurrente en mode Goto. Évalué à 6.
Si tu as une structure de données, en général des arbres, et que tu enchaines les traitement map().fold().map(), tu créais un grand nombre d'arbres intermédiaires. Souvent, un map().map() peut fusionner en un seul map(). Ce qui permet de ne pas créer cette arbre temporaire.
D'où le terme de déforestation.
https://en.wikipedia.org/wiki/Deforestation_%28computer_science%29
"La première sécurité est la liberté"