Questions tagged «zipper»

7
更新嵌套结构的更干净方法
说我有以下两个case classES: case class Address(street: String, city: String, state: String, zipCode: Int) case class Person(firstName: String, lastName: String, address: Address) 和以下Person类的实例: val raj = Person("Raj", "Shekhar", Address("M Gandhi Marg", "Mumbai", "Maharashtra", 411342)) 现在,如果我要更新zipCode,raj则必须做: val updatedRaj = raj.copy(address = raj.address.copy(zipCode = raj.address.zipCode + 1)) 随着嵌套级别的增加,这变得更加难看。有没有更清洁的方法(例如Clojure的方法update-in)来更新此类嵌套结构?
124 scala  case-class  zipper 

1
了解为什么拉链是Comonad
这是对上一个问题的回答的后续步骤。 假设我需要映射每个项目a:A的List[A]来b:B使用功能def f(a:A, leftNeighbors:List[A]): B和产生List[B]。 显然,我不能只调用map列表,而可以使用列表拉链。拉链是用于在列表中移动的光标。它提供对当前元素(focus)及其相邻元素的访问。 现在,我可以将替换f为 def f'(z:Zipper[A]):B = f(z.focus, z.left)并将该新函数传递f'给的cobind方法Zipper[A]。 这样的cobind工作:先f'用拉链调用,然后移动拉链,f'再用新的 “移动”拉链调用,再移动拉链,依此类推,依此类推,直到拉链到达列表的末尾。 最后,cobind返回一个类型为的新拉链Zipper[B],可以将其转换为列表,从而解决了问题。 现在请注意和之间的对称性cobind[A](f:Zipper[A] => B):Zipper[B],bind[A](f:A => List[B]):List[B]这就是为什么Lista Monad和Zipperis a 的原因Comonad。 是否有意义 ?

3
一般拉链拉链
对于任何容器类型,我们都可以形成(以元素为中心)拉链,并知道此结构是Comonad。最近在另一个Stack Overflow问题中针对以下类型对此进行了详细探讨: data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving Functor 使用以下拉链 data Dir = L | R data Step a = Step a Dir (Bin a) deriving Functor data Zip a = Zip [Step a] (Bin a) deriving Functor instance Comonad Zip where …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.