Purely Functional Data Structures¶
Okasaki, C. (1998). Purely Functional Data Structures. Cambridge University Press.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Immutability
- The defining move is to forbid in-place mutation, so that every state a system has ever held remains a distinct, separately referenceable, tamper-evident entity rather than being overwritten and lost.
This sourceFoundational treatment of immutable, persistent data structures: change is realized by constructing a new value that shares unchanged substructure while the original remains addressable, separating the state-holding entity from the act of update and exposing the destroy-vs-retain design choice.
- The defining move is to forbid in-place mutation, so that every state a system has ever held remains a distinct, separately referenceable, tamper-evident entity rather than being overwritten and lost.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:085ca90b2904 · see in the full table