| En liste er mere end samlingen og rækkefølgen af elementer: En liste
har identitet i sig selv |
| |
| | Det er fristende at identificere en liste med det første element. Dermed mener vi,
at når vi refererer til listen sker det via en reference til det første element i listen.
Listesprog ala Lisp fungerer på denne måde. Men dette er for simpelt. Problemerne opstår
hvis vi sletter det første element, eller hvis vi indsætter et nyt første element. I tilfælde
af sletning kan vi let miste referencer til listen (idet alle de steder, som refererer til
det første element vil komme til at referere til det slettede element). I tilfælde af indsættelse
vil allerede eksisterende referencer til liste ikke inkludere det nye første element. Dette
er noget rod. Problemet skyldes ene og alene, at vores listeidentitet er for svagt |