haskell - Haskell/GHC 的类似 Python -"is"的等式运算符

Question

是否有特定于 GHC 的“不安全”扩展来询问两个 Haskell 引用是否指向同一位置？

我知道如果使用不当，这可能会破坏引用透明度。但是，如果非常小心地使用它，作为通过快捷递归(或昂贵的)数据遍历进行优化的手段，那么应该不会有什么害处(除非我错过了一些东西)，例如用于实现优化的 Eq 实例，例如:

instance Eq ComplexTree where
   a == b  = (a `unsafeSameRef` b) || (a `deepCompare` b)

如果 unsafeSameRef 判定为 true，则提供的 deepCompare 保证为 true(但不一定是相反)。

编辑/PS:由于指向System.Mem.StableName的答案，我还能够找到论文Stretching the storage manager: weak pointers and stable names in Haskell这恰好在 10 多年前就已经解决了这个问题......

Answer 1

GHC 的 System.Mem.StableName正好解决了这个问题。