📅 最后修改于: 2020-11-04 07:01:24 🧑 作者: Mango
Haskell中的拉链基本上是指向数据结构(例如树)的某些特定位置的指针。
让我们考虑具有5个元素[45,7,55,120,56]的树，可以将其表示为完美的二叉树。如果要更新此列表的最后一个元素，则需要遍历所有元素以到达最后一个元素，然后再进行更新。对?
但是，如果我们可以以具有N个元素的树是[(N-1)，N]的集合的方式构造树，那该怎么办?然后，我们不需要遍历所有不需要的(N-1)个元素。我们可以直接更新第N个元素。这正是Zipper的概念。它聚焦或指向树的特定位置，我们可以在不遍历整个树的情况下更新该值。
在以下示例中，我们在列表中实现了Zipper的概念。以同样的方式，可以在树或文件数据结构中实现Zipper。
data List a = Empty | Cons a (List a) deriving (Show, Read, Eq, Ord)
type Zipper_List a = ([a],[a])
go_Forward :: Zipper_List a -> Zipper_List a
go_Forward (x:xs, bs) = (xs, x:bs)
go_Back :: Zipper_List a -> Zipper_List a
go_Back (xs, b:bs) = (b:xs, bs)
main = do
let list_Ex = [1,2,3,4]
print(go_Forward (list_Ex,[]))
print(go_Back([4],[3,2,1]))
当您编译并执行上述程序时，它将产生以下输出-
([2,3,4],[1])
([3,4],[2,1])
在这里，我们将重点放在前进或后退时整个字符串的元素上。