Haskell Zippers

广告位

Haskell中的Zippers是一个指向数据结构(例如树)的某些特定位置的指针。 假设具有5个元素[45,7…

Haskell中的Zippers是一个指向数据结构(例如树)的某些特定位置的指针。

假设具有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]) 

在这里,将重点放在前进或后退时整个字符串的元素上。

  

:哥,这回真没有了

女人的秘密

关于作者: 女人的秘密

为您推荐