测试 IORef 身份？

Question

在 Haskell 中，有没有办法测试两个 IORef 是否相同？我正在寻找这样的东西：

IORef a -> IORef a -> IO Bool

例如，如果您想可视化由 IORef 组成的图形，这将非常有用。我认为这不会破坏引用透明度，因为 IORefs 具有有意义的身份（并且结果可能在 IO 中，无论如何）。而且我认为作为指针比较，有效地实现这一点并不难。

这在某处可用吗？如果没有，为什么不呢？

（编辑：我刚从a different SO question 找到System.Mem.StableName，看起来很有帮助。）

Answer 1

不要想太多。你有instance Eq (IORef a)，所以你可以只使用==，结果甚至不在IO中。