Sml 如何清除Poly/ML中的哈希数组？

没有太多的方法，我只找到了两种方法删除，折叠

因此，我：

fold ( fn ( k, _, _ ) => delete ( h, k ) ) () h;

---

但我不认为这是个好主意？如何做到这一点？

似乎没有其他方法，除了可能将

哈希数组本身存储在
ref
中，并在需要清除时使用全新的
HashArray
更新
ref
。取决于你的限制。谢谢，我喜欢。