Scalaz驗證忽略申請方法

Question

    (List("ha", "heh", "hmm") |@| List("?", "!", ".")) {_ +"doeswork"+ _}

正確返回

     res0: List[String] = List(hadoeswork?, hadoeswork!, hadoeswork., hehdoeswork?, hehdoeswork!, hehdoeswork., hmmdoeswork?, hmmdoeswork!, hmmdoeswork.)

而

    (Validation.failure[String, String]("fail") |@| Validation.failure[String, String]("fail")) {_ +"doesnotwork"+ _}

總是返回

    res1: scalaz.Validation[String,String] = Failure(failfail)

您傳遞的用於“取消”值的任何函數。 知道為什么嗎？

Answer 1

它不會“總是”執行此操作。 如果你嘗試過

("fail".success[String] |@| "fail".success[String]) {_ +"doesnotwork"+ _}

它將返回Success(faildoesnotworkfail) 。 但是由於並非所有值都傳遞給|@| 為Success ，則沒有任何可應用{_ + "doesnotwork" + _}的內容，因為此操作是針對成功案例而不是針對失敗案例。

成功案例是進行計算。 故障案例僅返回合並的錯誤消息。 如果您嘗試對Failure進行計算，則實際上不會計算任何有趣的事情，僅返回錯誤摘要。

在您的特定情況下，恰好似乎該函數適用，因為成功值和失敗消息具有相同的類型。 但是，在一般情況下， failure消息的類型甚至不必對通過傳遞的函數的類型{_ +"doesnotwork"+ _} 。 例如，您的Success值可以是Double ，然后可以使用{(x, y) => math.atan2(y, x)}代替{_ +"doesnotwork"+ _} {(x, y) => math.atan2(y, x)} ，這不會產生任何作用。 String類型的Failure消息的意義。