c# - Dictionary> 是否符合半持久性？

Question

在 Extended Abstract: A Functional Derivationof the Warren Abstract Machine ，Maciej Pir´og 和 Jeremy Gibbons 将数据结构描述为semi-persistent [7] “如果我们可以回溯到它以前的版本，但我们永远不会同时保留两个不同的修改( sibling )同一个祖先。”假设一些对象 dict : System.Collections.Dictionary<A, FSharp.Collections.List<B>> .让字典中的值代表与某些键相关的状态。会 dict是一种有效的半持久状态跟踪机制，假设只有一个这样的 Dictionary用来？ Dictionary 的可变性保证了这一点吗？类型加上先前状态的序列？

Answer 1

这是一个困难的问题(要解析，同样要回答)-请注意:这是根据我对给定摘要的理解...答案是 Yes AND No。这里的关键在于用法，不一定在于结构。字典本身是持久的。像作者一样，您可以以半持久的方式使用它。然而，将状态值放在列表中可能会有点麻烦，因为您可能会想保留 sibling (同样，在用法中)。

为了更好地理解 - 转到源代码:
https://www.lri.fr/~conchon/publis/spds-esop08.pdf