Scalaz：我如何積累故障或將功能應用於不同類型的驗證？

Question

我有19個字符串需要驗證成各種類型。當所有的驗證都成功的時候，我想實例化一個表示一行電子表格的類（其中列不全都具有相同的類型）。

當一個或多個字符串無法驗證時，我想在NonEmptyList中累積錯誤。

如果有12個或更少的項目，我可以使用| @ |或申請12。如果我使用表達式，它會快速失敗並且不會發生累積。

當for表達式失敗時，我可以對失敗進行排序，但這意味着我循環了兩次。有沒有辦法使用scalaz把每個驗證成功都放到一個變量中（如果我用一個for表達式來實例化這個類的話會發生什麼情況），同時積累了所有的失敗？

Answer 1

假設我們有一個案例類（其中可能有超過十二名成員）：

case class Foo(a: Int, b: Char, c: Symbol, d: String) 

而且，我們正在代表錯誤字符串和定義一個類型別名爲方便：

type ErrorOr[A] = ValidationNel[String, A] 

我們也有一些驗證結果：

val goodA: ErrorOr[Int] = 1.success 
val goodB: ErrorOr[Char] = 'a'.success 
val goodC: ErrorOr[Symbol] = 'a.success 
val goodD: ErrorOr[String] = "a".success 

val badA: ErrorOr[Int] = "x".failNel 
val badC: ErrorOr[Symbol] = "y".failNel 

現在我們可以這樣寫：

val foo = (Foo.apply _).curried 

val good: ErrorOr[Foo] = goodD <*> (goodC <*> (goodB <*> (goodA map foo))) 
val bad: ErrorOr[Foo] = goodD <*> (badC <*> (goodB <*> (badA map foo))) 

這給了我們什麼，我們想：

scala> println(good) 
Success(Foo(1,a,'a,a)) 

scala> println(bad) 
Failure(NonEmptyList(x, y)) 

在Haskell，這將是much prettier -you'd只是寫：

Foo <$> goodA <*> goodB <*> goodC <*> goodD 

Scala的弱類型推斷要求我們寫不幸的是，這些論點的順序錯誤。