Tag: 拉链式的

了解为什么Zipper是一个Comonad

这是对我以前的问题的回答。 假设我需要将函数def f(a:A, leftNeighbors:List[A]): B并且生成List[B]每个项目a:A List[A]映射到b:B . 显然，我不能只是在列表中调用map ，但我可以使用列表拉链 。 拉链是一个在列表中移动的游标。 它提供对当前元素（ focus ）及其邻居的访问。 现在我可以用def f'(z:Zipper[A]):B = f(z.focus, z.left)来代替我的f ，并将这个新函数f'传递给Zipper[A] cobind方法。 cobind工作原理是这样的：它用拉链调用f' ，然后移动拉链，用新的 “移动”拉链调用f' ，再次移动拉链等，依此类推…直到拉链到达名单末尾。 最后， cobind返回一个types为Zipper[B]的新拉链Zipper[B] ，它可以转换成列表，这样问题就解决了。 现在注意cobind[A](f:Zipper[A] => B):Zipper[B]和bind[A](f:A => List[B]):List[B]之间的对称性bind[A](f:A => List[B]):List[B] Monad和Zipper是Comonad 。 是否有意义 ？