Scalaz расщепляет вычисление на подпопции

Question

У меня очень большой List[A] и функция f: List[A] => List[B]. Отказ Я хотел бы расколоть Мой оригинальный список в подписи с максимальным размером, примените функцию к каждому сублисту в свою очередь, а затем несомненно результат в один большой List[B]. Отказ Это довольно легко:

def split[T](l : List[T], max : Int) : List[List[T]] = //TODO

def unsplit[T](l : List[List[T]]) : List[T] = //TODO

def apply[A, B](l : List[A], f : List[A] => List[B], max : Int) : List[B] = {
  unsplit(split(l, max).map(f(_)))
}

Мне было интересно, касляз Поставляют стандартные вещи, чтобы сделать это из коробки? В частности apply Метод?

Answer 1

unsplit это просто MA#join, для любого M[M[A]] куда M это Monad.

split не существует из коробки. Ниже приведен раунд по поводу этого, больше, чтобы продемонстрировать некоторые концепции Scalaz. На данный момент он на самом деле вызывает переполнение стека в компилятере!

val ls = List(1, 2, 3, 4, 5)
val n = 5

def truesAndFalses(n: Int): Stream[Boolean] = 
  Stream.continually(true.replicate[Stream](n) |+| false.replicate[Stream](n)).join

val grouped: List[List[Int]] = {
  var zipped: List[(Int, Boolean)] = ls.zip(truesAndFalses(2))
  var groupedWithBools: List[List[(Int, Boolean)]] = zipped splitWith {_._2}
  groupedWithBools ∘∘ {pair: (Int, _) => pair._1}
}

val joined: List[Int] = grouped ∘∘ {_ * 2} join

Answer 2

Как насчет этого:

def split[T](ls: List[T],max: Int): List[List[T]] = ls.grouped(max).toList

def unsplit[T](ls: List[List[T]]): List[T] = ls.flatMap(identity)