Question

在题为＆＃34; The Zipper＆＃34;通过Huet，他还提到疤痕是拉链的变种。与在Haskell社区中广为人知的拉链相比，疤痕几乎闻所未闻。在论文本身以及互联网上的任何地方都可以找到关于它们的信息。

所以我不得不问，它们根本没用，或者它们是否有用，但是大多数人都不了解它们？

Answer 1

这只是对树类型的一个小调整，以使某些操作更有效。

本文重点关注（哈哈）玫瑰树 - 树的节点有任意数量的子节点。该论文的代码在OCaml中，但将其转换为Haskell并不需要太多调整：

data Rose a = Leaf a | Rose [Rose a]

简要回顾一下，拉链的概念是通过 context 在数据结构中表示位置。玫瑰树中节点的上下文包括从树中获取到达节点父节点的路径，以及沿着兄弟节点列表到达节点本身的路径。

data Path a = Top | Node (Path a) [Rose a] [Rose a]

data Pos a = Pos { focus :: Rose a, path :: Path a }

这使您可以放大树中的位置，而不会忘记步行right和down的位置，然后通过撤消left并缩放来重建树out up。

right, down, left, up :: Pos a -> Maybe (Pos a)
right (Pos _ Top) = Nothing
right (Pos _ (Node _ _ [])) = Nothing
right (Pos t (Node p ls (r:rs))) = Just $ Pos r (Node p (t:ls) rs)

down (Pos (Leaf _) _) = Nothing
down (Pos (Rose []) _) = Nothing
down (Pos (Rose (t:ts)) p) = Just $ Pos t (Node p [] ts)

left (Pos _ Top) = Nothing
left (Pos _ (Node _ [] _)) = Nothing
left (Pos t (Node p (l:ls) rs) = Just $ Pos l (Node p ls (t:rs))

up (Pos _ Top) = Nothing
up (Pos t (Node p l r)) = Just $ Pos (Rose (l ++ t:r)) p

查看up的定义。它需要t，l和r - 当前关注的节点及其兄弟节点 - 并将它们拼凑成一个单独的子列表。它会忘记您正在查看的节点。因此，down会将您关注当前焦点的最左侧孩子。如果您需要转到up然后返回到先前关注的节点，您必须沿着列表right走回原来的位置，这是 O（n）操作。

Huet在树上留下“伤疤”的想法是让回到以前专注的孩子更方便。他为Rose构造函数配备了自己的焦点，用列表拉链替换了子列表。

data SRose a =  -- for "scarred rose"
      SLeaf a
    | SEmpty  -- replaces (Rose [])
    | SRose [SRose a] (SRose a) [SRose a]

Path和Pos类型保持不变：

data SPath a = STop | SNode (SPath a) [SRose a] [SRose a]
data SPos a = SPos { sfocus :: Rose a, spath :: SPath a }

现在，当你走up然后回down时，你不会忘记你之前在看什么。

up' (SPos _ STop) = Nothing
up' (SPos t (SNode p l r)) = Just $ SPos (SRose l t r) p

down' (SPos (SLeaf _) _) = Nothing
down' (SPos SEmpty _) = Nothing
down' (SPos (SRose l t r) p) = Just $ SPos t (SNode p l r)

什么是伤疤有用？

1 个答案: