12 Sep
2019
12 Sep
'19
11:44 p.m.
On 13 Sep 2019, at 00:38, Greg Ewing greg.ewing@canterbury.ac.nz wrote:
Yury Selivanov wrote:
A *persistent data structure* is defined as a data structure that preserves the previous version of the data when the data is modified. Such data structures are effectively *immutable*, as operations on them do not update the structure in-place, but instead always yield a new updated structure (see [0]_ for more details.)
You might want to find another term for this -- it's very different from what "persistent data structure" usually means (i.e. something that gets saved to a file or database with some degree of automagicness).
Unfortunately this is actually the correct terminology from all existing literature! :(
/ Anders