如何在Scala中编写此验证逻辑？

def sysValue(prop: String) = Option(System.getProperty(prop)) //returns Option[String]

def trySysValue(prop: String) = //returns Either[String,String]
  sysValue(prop) map Right getOrElse Left("Absent property: " + prop)

然后你可以通过它的右投影使用Eadadadic组合

val batch = //batch is Either[String,(File,File)]
  for {
    x  <- trySysValue("XDir")).right
    xf <- dir(x).right
    y  <- trySysValue("YDir").right
    yf <- dir(y).right
  } 
  yield (xf,yf)

哪里：

def dir(s: String) = { //returns Either[String,File]
  val f = new File(s)
  if (!f.exists()) Left("Does not exist: " + f)
  else if (!f.isDir()) Left("Is not a directory: " + f)
  else Right(f)
}

Either的左侧将是错误消息.这种monadic组合快速失败.您可以使用scalaz验证来实现将累积所有失败的组合(例如,如果XDir和YDir都不存在,您将看到两个消息).在这种情况下,代码看起来像这样：

def trySysValue(prop: String) = //returns Validation[String,String]
  sysValue(prop) map Success getOrElse ("Absent property: " + prop).fail

def dir(s: String) = {
  val f = new File(s)
  if (!f.exists())("Does not exist: " + f).fail
  else if (!f.isDir()) ("Is not a directory: " + f).fail
  else f.success
}

val batch = //batch is ValidationNEL[String,File)]
  (trySysValue("XDir")) flatMap dir).liftFailNel <|*|> (trySysValue("YDir")) flatMap dir).liftFailNel