Question

我正在尝试在我的应用中使用Scalaz 7验证。但是，我遇到问题是让|@|应用程序仿函数合并我的失败。这是我的代码：

type ValidationResult = ValidationNel[String, Unit]

def validate[A: ClassTag](instance: A, fieldNames: Option[Seq[String]] = None): ValidationResult = {
    val fields = classTag[A].runtimeClass.getDeclaredFields
    val fieldSubset = fieldNames match {
        case Some(names) => fields.filter { field => names.contains(field.getName) }
        case None => fields
    }
    fieldSubset.map {
        field => field.getAnnotations.toSeq.map {
            field.setAccessible(true)
            val (name, value) = (field.getName, field.get(instance))
            field.setAccessible(false)
            annotation => annotation match {
                case min: Min => minValidate(name, value, min.value())
                case size: Size => sizeValidate(name, value, size.min(), size.max())
            }
        }
    }.flatten[ValidationResult].foldLeft(().successNel[String])(_ |@| _)
}

minValidate和sizeValidate函数只返回ValidationResults。

问题是，此代码无法编译。错误消息是：

Type mismatch, expected F0.type#M[NotInferedB], actual: ValidationResult

我不知道这意味着什么......我是否需要向Scala提供更多类型信息？

我想要完成的是，如果所有字段都是successNel s，则返回该字段，否则返回所有failureNel s的组合。

自上一版Scalaz以来|@|发生了变化吗？因为即使我做了类似的事情：

().successNel |@| ().successNel

我得到了同样的错误。

更新

我开始探索Scalaz源代码，我发现+++似乎做了我想做的事。

+++和|@|之间有什么区别？

Answer 1

Scalaz的应用程序构建器语法（|@|）为您提供了一种将“提升”功能转换为应用程序仿函数的方法。假设我们有以下结果，例如：

val xs: ValidationNel[String, List[Int]] = "Error!".failNel
val ys: ValidationNel[String, List[Int]] = List(1, 2, 3).success
val zs: ValidationNel[String, List[Int]] = List(4, 5).success

我们可以将列表并置功能（++）解除为Validation，如下所示：

scala> println((ys |@| zs)(_ ++ _))
Success(List(1, 2, 3, 4, 5))

scala> println((xs |@| ys)(_ ++ _))
Failure(NonEmptyList(Error!))

scala> println((xs |@| xs)(_ ++ _))
Failure(NonEmptyList(Error!, Error!))

这种语法有点奇怪 - 例如，它与你在Haskell中将函数提升为应用程序仿函数的方式非常不同，并且这种方式设计主要是为了超越Scala相当愚蠢的类型推理系统。有关详细讨论，请参阅my answer here或blog post here。

奇怪的一部分是xs |@| ys并不真正意味着任何东西 - 它本质上是一个参数列表，它等待应用于一个函数，它将被提升到它的应用函子并适用于它自己

+++ Validation是一种更简单的生物 - 它只是该类型的Semigroup实例的加法运算（请注意，您可以等效地使用Scalaz的半群运算符{ {1}}代替|+|）。你给它两个+++个匹配半群类型的结果，它会给你另一个Validation - 而不是一些可怕的Validation。

作为旁注，在这种情况下，ApplyOps的半群的加法运算与右侧的半群运算相同Validation：

Validation

但情况并非总是如此（例如，它不适用于scala> (xs |+| ys) == (xs |@| ys)(_ |+| _) res3: Boolean = true，其中半群累积错误但应用仿函数没有）。

使用applicative functor进行Scalaz验证| @ |不工作

1 个答案: