我开始使用 Scalaz 7 验证和/或析取来处理可能失败的操作列表并管理其结果。
这种用例有两个有据可查的案例：
1/ 您想检查某事的条件列表，并累积每个错误（如果有）。在这里，您总是走到列表的末尾，如果出现任何错误，您将作为全局结果失败。 这是一个应用函子在起作用。
2/ 你想执行几个可能失败的步骤，并在第一个失败时停止。 在这里，我们有一个在 Scala 中很好理解的 monad。
所以，我还有两个相同的用例，但在任何先例中似乎都不太合适： 我想处理一个可能失败的步骤列表，并累积错误和成功结果（例如：它是对文件的修改列表，可能会发生错误，因为那是外部世界，成功是我想保留以备后用的补丁)。
这两个用例的区别仅在于我想提前停止（在第一个错误时）或转到列表的末尾。
好的，那么正确的做法是什么？
（写这个问题让我认为这只是一个简单的 foldLeft，是吗？我会让这个问题在这里验证，如果其他人想知道）
【问题讨论】：
标签： scala monads fold scalaz applicative
查看Validation#append 或其别名Validation#+|+。给定两个验证，如果两者都成功，则返回附加值的成功。如果两者都失败，则返回附加值的失败。否则，它返回成功的值。这需要成功类型的隐式 Semigroup 实例。
【讨论】：
我会这样做：
scala> List(1.success[String], 2.success[String], "3".failure[Int], "4".failure[Int]).partition(_.isSuccess)
res2: (List[scalaz.Validation[java.lang.String,Int]], List[scalaz.Validation[java.lang.String,Int]]) = (List(Success(1), Success(2)),List(Failure(3), Failure(4)))
scala> val fun = (_:List[Validation[String, Int]]).reduceLeft(_ append _)
fun: List[scalaz.Validation[String,Int]] => scalaz.Validation[String,Int] = <function1>
scala> fun <-: res2 :-> fun
res3: (scalaz.Validation[String,Int], scalaz.Validation[String,Int]) = (Success(3),Failure(34))
UPD：将#129 和#130 合并后，您可以将fun 更改为(_:List[Validation[String, Int]]).concatenate 或(_:List[Validation[String, Int]]).suml
或bimap 像这样：
scala> List(1.success[String], 2.success[String], "3".failure[Int], "4".failure[Int]).partition(_.isSuccess).bimap(_.suml, _.suml)
res6: (scalaz.Validation[java.lang.String,Int], scalaz.Validation[java.lang.String,Int]) = (Success(3),Failure(34))
【讨论】：
您需要将Either[E, A] 大致转换为Writer[List[E], A]。 Writer monad 记录您遇到的错误。
【讨论】：
听起来你想要一对(SomveValue, List[T])，其中T 是你的“失败”，尽管我称之为“警告”或“日志”，因为你仍然会得到结果，所以它并不是真正的失败。
不知道 Scalaz 是否对此有什么特别的想法。
【讨论】：