在扩展摘要:Warren抽象机器的功能推导中,Maciej Pir'og和Jeremy Gibbons将数据结构描述为半持久性[7]"如果我们可以回溯到其先前的版本,但我们从不同时保留两种不同的修改(同一个祖先的兄弟姐妹." 假设一些对象dict : System.Collections.Dictionary<A, FSharp.Collections.List<B>>.让字典中的值表示与某些键相关的状态.dict假设只使用一个这样的机制,它将是一个有效的半持久状态跟踪机制Dictionary吗？是否通过Dictionary类型的可变性与先前状态的序列相结合来保证？
小智 1
这是一个困难的问题（解析，同样的答案） - 请注意：这是根据我对给出的摘要的理解......答案是是和否。这里的关键在于用法，不一定是结构。字典本身是持久的。像作者一样，您可以以半持久的方式使用它。然而，将状态值放在列表中可能会有点麻烦，因为您可能会想保留同级（同样，在使用中）。
为了更好地理解 - 请访问源代码：
https ://www.lri.fr/~conchon/publis/spds-esop08.pdf
| 归档时间： |
|
| 查看次数： |
152 次 |
| 最近记录： |