排序顺序数组映射尝试作为有序映射实现的基础

Question

我希望实现一个持久的（或至少具有结构共享）的不可变键排序映射/集合，并且对于合并/联合操作具有“良好”的复杂性，优选地基于具有高分支因子的树的一个保持树浅。 Phil Bagwell的理想哈希树paper引入了排序顺序数组映射程序，它们能为实现我描述的内容提供合适的基础吗？缺乏任何现有的实施是否有充分的理由。