Purement fonctionnel

Un article de Wikipédia, l'encyclopédie libre.

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 | modifier le code]

Listes chaînées[modifier | modifier le code]

Arbres[modifier | modifier le code]

Intérêts et applications[modifier | modifier le code]

Valeurs cycliques[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Liens externes[modifier | modifier le code]

  • 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 | modifier le code]

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