Tag: 拉链

什么是拉链数据结构,我应该使用它?

问题很简单:我无法理解Zipper数据结构。 我的问题是关于它与树的使用。 我想了解如何使用拉链更改树节点。 而如何不复制整个树(或大部分)。 请澄清,如果我错了拉链。 也许它不能帮助树更新? 或者,也许,有可能更新树,我只是不能看到的方式?

如何更新zip文件中的一个文件

是否可以replace压缩文件中的文件而不解压缩删除旧文件添加新文件并重新压缩它? 原因是我有一个zip文件,这是真的很大有一个XML文件,我有时需要更新的zip文件。 解压缩并重新压缩需要很长时间。 所以我想只能通过一个脚本来replacezip中的一个xml。 我已经有了检查我有更新的XML。 那么是否有可能只取代一个XML而不解压缩和重新压缩? 对不起,我会使用zip命令来做这样的事情,但问题是脚本实际上是一个Android手机和邮编不是一个命令,我可以使用不幸的是,我离开了这一点。 如果可以的话,我会绝对使用zip,但我只有解压缩的机器人,然后有焦油busybox但焦油不做我所需要的

拉链创buildXML请求?

如何创build符合XSD的XML请求以使请求有效? 一种方法是创build整个请求,然后在XSD上进行validation。 有没有办法在模式中创build请求? 想到的第一个想法是拉链,但我真的不确定是否可以在这里使用。 也许我还没有很好地理解,但是如果已经有了一些定义好的结构并且需要改变结构的话,看起来Zipper就非常棒。 拉链可以用于变化的结构吗? (例如将序列附加到序列数组?)

拉链Comonads,一般

鉴于任何容器types,我们可以形成(以元素为中心的)拉链,并知道这个结构是一个Comonad。 这是最近探讨在另一个堆栈溢出问题的以下types的精彩细节: 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 … Zip是一个Comonad虽然它的实例有点多毛。 也就是说, Zip可以从Tree完全机械地派生出来,并且(我相信)以这种方式派生的任何types都自动成为Comonad ,所以我觉得应该是这样的,我们可以一般地自动构造这些types和它们的连接器。 […]

更清晰的方式来更新嵌套结构

假设我有以下两个case class : 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)) 现在,如果我想更新raj zipCode ,那么我将不得不这样做: val updatedRaj = raj.copy(address = raj.address.copy(zipCode = raj.address.zipCode + 1)) 随着更多的嵌套层次,这变得更加丑陋。 有没有一个更清洁的方式(像Clojure的update-in )来更新这样的嵌套结构?