Purement fonctionnel
En informatique, l'adjectif purement fonctionnel désigne un algorithme, une structure de données ou un langage de programmation qui exclut les modifications destructives. Par conséquent, les variables en sont exclues et les identificateurs désignent au contraire des valeurs persistantes, immuables. Cela signifie également que les valeurs antérieures à une opération sont toujours accessibles après cette opération, et identiques.
Exemples de structure de données purement fonctionnelles
modifierListes chaînées
modifierArbres
modifierIntérêts et applications
modifierValeurs cycliques
modifierVoir aussi
modifierLiens externes
modifier- Purely Functional Data Structures thèse de Chris Okasaki (format PDF)
- Making Data-Structures Persistent de James R. Driscoll, Neil Sarnak, Daniel D. Sleator, Robert E. Tarjan (PDF)
- Fully Persistent Lists with Catenation de James R. Driscoll, Daniel D. Sleator, Robert E. Tarjan (PDF)
Références
modifierChris Okasaki, Purely functional data structures, Cambridge University Press, 1998, (ISBN 0-52166-350-4).