纯脚本无序集合 基于哈希的，不可变的Purescr ipt集合类型。 在合理的情况下，两个主要目标是良好的性能以及与基于Ord的集合的API兼容性。 HashMap的实现基于“针对快速且精益的不可变JVM集合优化哈希数组映射尝试”（Steindorfer和Vinju，OOPSLA 2015， //doi.org/10.1145/2814270.2814312）。 表现 HashMaps很快。最常见的操作比基于Ord的地图快1.5到3倍。测试非常有限，因此insert和lookup速度比imm