测试IORef身份？

Question

在Haskell中，有没有一种方法来测试两个IORefs是否相同？我在找这样的东西：

IORef a -> IORef a -> IO Bool

例如，如果您想要可视化由IORefs组成的图形，这将非常有用。我不认为这会破坏引用的透明性，因为IORefs有一个有意义的标识(而且结果可能是IO )。我认为高效地实现它并不难，就像指针比较一样。

有什么地方可以买到吗？若否，原因何在？

(编辑:我刚刚从a different SO question找到了System.Mem.StableName，这看起来很有帮助。)

Answer 1

别想太多了。您有instance Eq (IORef a)，所以可以只使用==，结果甚至不是IO格式的。