是否有可能在 Haskell 中检测到共享？

问：

在 Scheme 中，原语测试其参数是否为同一对象。例如，在以下列表中eq?

(define lst
  (let (x (list 'a 'b))
    (cons x x)))

结果

(eq? (car x) (cdr x))

是真的，而且它是真的，而不必窥视和.这允许您为具有大量共享的数据结构编写有效的相等性测试。(car x)(cdr x)

在哈斯克尔中也有同样的事情吗？例如，请考虑以下二叉树实现

data Tree a = Tip | Bin a (Tree a) (Tree a)

left  (Bin _ l _) = l
right (Bin _ _ r) = r

mkTree n :: Int -> Tree Int
mkTree 0 = Tip
mkTree n = let t = mkTree (n-1) in Bin n t t

在各个层面都有共享。如果我创建一棵树，并且我想查看 和 是否相等，那么天真地我必须遍历超过 10 亿个节点才能发现它们是同一棵树，这应该是显而易见的，因为数据共享。let tree = mkTree 30left treeright tree

我不指望有一种简单的方法可以在 Haskell 中发现数据共享，但我想知道处理此类问题的典型方法是什么，何时出于效率目的检测共享（或例如检测循环数据结构）会很好。

是否有可以检测共享的基元？有没有一种众所周知的方法来构建具有显式指针的数据结构，以便您可以比较指针的相等性？unsafe