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消息的意义。