On 6/19/15 2:23 PM, Timon Gehr wrote:
What makes persistent data structures useful is that they provide _value
semantics_ for complex data types with _O(1)_ copies and fast updates.
(COW has only the first two of those.)

OK, so SList!int should allow mutating individual values, and SList!(immutable int) shouldn't? Or does that apply only to objects with indirections?

Also, what bearing does this have on deciding whether an SList is rebindable or not?


Andrei

Reply via email to