当前位置: 首页 > 文档资料 > Haskell 中文教程 >

拉链( Zippers)

优质
小牛编辑
127浏览
2023-12-01

Haskell中的Zippers基本上是指向数据结构(如tree某个特定位置的指针。

让我们考虑一个具有5个元素[45,7,55,120,56]tree ,它可以表示为完美的二叉树。 如果我想更新此列表的最后一个元素,那么我需要遍历所有元素以在更新之前到达最后一个元素。 对?

但是,如果我们能够以这样的方式构造我们的树,即具有N元素的树是[(N-1),N]的集合。 然后,我们不需要遍历所有不需要的(N-1)元素。 我们可以直接更新第N个元素。 这正是Zipper的概念。 它聚焦或指向树的特定位置,我们可以在不移动整个树的情况下更新该值。

在下面的示例中,我们在List中实现了Zipper的概念。 以同样的方式,可以在treefile数据结构中实现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])

在这里,我们在前进或后退时专注于整个弦乐的元素。