Haskell——有什么简单的方法可以将 Data.Dynamic 放入 map 中吗？

Question

我想将 Data.Dynamic 映射到其他 Data.Dynamic。但是，我不会写

Map Dynamic Dynamic

因为没有 Ord Dynamic。是否有任何解决方案(比如 Dynamic 的一个版本，其 toDyn 函数只接受 Ord 东西，并在装箱时具体化类型类？)

这样做的动机是在 EDSL 编译器中有一个来自变量 --> 值的映射。 (显然变量可以有不同的类型)。 edit:抱歉，这个问题没有必要，我可以/应该只将变量名存储为键。但是，我仍然对这个问题感兴趣。

提前致谢!

Answer 1

不，没有办法。根据创建 Dynamic 所涉及的类型，不可能有。如果你想不纯，你可以使用 StablePtr，但这是我能想到的最好的。

但是通过改变 toDyn 的类型来包含 Ord 就可以做到。