Haskell - 遍历器

Haskell 中的遍历器基本上是指向数据结构特定位置的指针，例如树。

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

但是，如果我们能够以这样一种方式构建我们的树，即包含N个元素的树是一个[(N-1),N]的集合呢？那么，我们就无需遍历所有不需要的(N-1)元素。我们可以直接更新第 N 个元素。这正是遍历器的概念。它关注或指向树中的特定位置，我们可以在该位置更新该值，而无需遍历整个树。

在以下示例中，我们在一个列表中实现了遍历器的概念。同样的，也可以在树或文件数据结构中实现遍历器。

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])

在前进或后退时，我们关注整个字符串的一个元素。