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 modifier

Listes chaînées modifier

Arbres modifier

Intérêts et applications modifier

Valeurs cycliques modifier

Voir aussi modifier

Liens 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 modifier

Chris Okasaki, Purely functional data structures, Cambridge University Press, 1998, (ISBN 0-52166-350-4).