Список или массив моноидов типа A тоже являются моноидами. Теперь я хотел бы combine массивы целых чисел, используя cats.
scala> 1 |+| 2
res1: Int = 3
scala> Array(1, 2, 3) |+| Array(1, 2, 3)
<console>:21: error: value |+| is not a member of Array[Int]
Array(1, 2, 3) |+| Array(1, 2, 3)
Вместо этого я хотел бы получить Array(2, 4, 6) в результате Array(1, 2, 3) |+| Array(1, 2, 3). Как я могу это сделать ?
combine на Seq или Array обычно означает добавление их для создания новой коллекции.
Однако вы можете сделать то, что пытаетесь сделать, определив свой собственный Monoid с zip вместо append. Вот что я придумал на лету:
implicit val zipArrayMonoid = new Monoid[Array[Int]] {
override def combine(x: Array[Int], y: Array[Int]) = {
x.zip(y).map {
case (a, b) => a + b
}
}
override def empty = Array.empty
}
Это приведет к тому, что дополнительные значения массивов разных размеров будут игнорироваться (как это делает реализация zip, вы можете проверить документы здесь)
Вот scalaFiddle с результатом: https://scalafiddle.io/sf/YzdUl4L/0
|+|на самом деле не для этого. Это должна быть операция добавления. Что произойдет, если массивы будут разного размера? - person Michael Zajac schedule 07.03.2017Monoid[Array]в коде, например. черезimplicit. - person sebszyller schedule 07.03.2017merge, которая делает именно то, что вам нужно: github.com/scalaz/scalaz/blob/ Я думаю, они просто еще не портировали его наcats. - person ZhekaKozlov schedule 13.03.2017cats. - person Michael schedule 13.03.2017MonoidдляArray. - person ZhekaKozlov schedule 13.03.2017