Scalaz(20)-Monad: Validation-Applicative版本的Either
scalaz还提供了个type class叫Validation。乍看起来跟\/没什么分别。实际上这个Validation是在\/的基础上增加了Applicative功能,就是实现了ap函数。通过Applicative实例就可以同时运算多个Validation并返回多条异常信息。所以,\/与Validation核心分别就在于Validation可以返回多条异常信息。Validation也是由两种状态组成:Success和Failure,分别与\/的left和right相对应。Failure可以返回多个值。我们先来看看Validation在scalaz里的定义:scalaz/Validation.scala
sealed abstract class Validation[+E, +A] extends Product with Serializable {
...
def isSuccess: Boolean = this match {
case Success(_) => true
case Failure(_) => false
} /** Return `true` if this validation is failure. */
def isFailure: Boolean = !isSuccess
...
/** Return the success value of this validation or the given default if failure. Alias for `|` */
def getOrElse[AA >: A](x: => AA): AA =
this match {
case Failure(_) => x
case Success(a) => a
} /** Return the success value of this validation or the given default if failure. Alias for `getOrElse` */
def |[AA >: A](x: => AA): AA =
getOrElse(x) /** Return the success value of this validation or run the given function on the failure. */
def valueOr[AA >: A](x: E => AA): AA =
this match {
case Failure(a) => x(a)
case Success(b) => b
} /** Return this if it is a success, otherwise, return the given value. Alias for `|||` */
def orElse[EE >: E, AA >: A](x: => Validation[EE, AA]): Validation[EE, AA] =
this match {
case Failure(_) => x
case Success(_) => this
} /** Return this if it is a success, otherwise, return the given value. Alias for `orElse` */
def |||[EE >: E, AA >: A](x: => Validation[EE, AA]): Validation[EE, AA] =
orElse(x)
...
与\/非常相似,也是提供了getOrElse来获取Success[A]的A值。如果需要获取Failure[B]值则与\/一样先用swap再用getOrElse:
/** Flip the failure/success values in this validation. Alias for `unary_~` */
def swap: Validation[A, E] =
this match {
case Failure(a) => Success(a)
case Success(b) => Failure(b)
} Success().getOrElse() //> res5: Int = 3
Success("Three").getOrElse("Everything OK!") //> res6: String = Three
Failure("Something wrong!").swap.getOrElse("Everything OK!")
//> res7: String = Something wrong!
(~Failure("Something wrong!")).getOrElse("Everything OK!")
//> res8: String = Something wrong!
Validation的两个状态是这样定义的:
final case class Success[A](a: A) extends Validation[Nothing, A]
final case class Failure[E](e: E) extends Validation[E, Nothing]
Validation也是一个Monad,可以在for-comprehension中实现Failure立即退出功能:
for {
a <- Success()
b <- Success()
} yield a + b //> res5: scalaz.Validation[Nothing,Int] = Success(5) val valid= for {
a <- Success()
c <- Failure("oh, error!"): Validation[String,Int]
d <- Failure("oh, error again!"): Validation[String,Int]
b <- Success()
} yield a + b //> valid : scalaz.Validation[String,Int] = Failure(oh, error!)
if (valid.isFailure) valid.swap.getOrElse("no error")
//> res6: Any = oh, error!
scalaz同样为所有类型值提供了注入方法:scalaz.syntax/ValidationOps.scala
final class ValidationOps[A](self: A) {
def success[X]: Validation[X, A] = Validation.success[X, A](self) def successNel[X]: ValidationNel[X, A] = success def failure[X]: Validation[A, X] = Validation.failure[A, X](self) @deprecated("use `failure` instead", "7.1")
def fail[X]: Validation[A, X] = failure[X] def failureNel[X]: ValidationNel[A, X] = Validation.failureNel[A, X](self) @deprecated("use `failureNel` instead", "7.1")
def failNel[X]: ValidationNel[A, X] = failureNel[X]
} trait ToValidationOps {
implicit def ToValidationOps[A](a: A) = new ValidationOps(a)
}
上面的例子也可以这样写:
for {
a <- .success
b <- .success
} yield a + b //> res7: scalaz.Validation[Nothing,Int] = Success(5) val pv = for {
a <- .success
c <- "oh, error!".failure[String]
d <- "oh, error again!".failure[String]
b <- .success
} yield a + b //> pv : scalaz.Validation[String,Int] = Failure(oh, error!)
if (pv.isFailure) (~pv).getOrElse("no error") //> res8: Any = oh, error!
不过上面两条异常信息只返回了头一条,这与\/并没有什么两样,因为它们的flatMap都是一样的:
final class ValidationFlatMap[E, A] private[scalaz](val self: Validation[E, A]) {
/** Bind through the success of this validation. */
def flatMap[EE >: E, B](f: A => Validation[EE, B]): Validation[EE, B] =
self match {
case Success(a) => f(a)
case e @ Failure(_) => e
}
}
当前版本的scalaz已经放弃了flatMap用法:
@deprecated("""flatMap does not accumulate errors, use `scalaz.\/` or `import scalaz.Validation.FlatMap._` instead""", "7.1")
@inline implicit def ValidationFlatMapDeprecated[E, A](d: Validation[E, A]): ValidationFlatMap[E, A] =
new ValidationFlatMap(d) /** Import this if you wish to use `flatMap` without a deprecation
* warning.
*/
object FlatMap {
@inline implicit def ValidationFlatMapRequested[E, A](d: Validation[E, A]): ValidationFlatMap[E, A] =
new ValidationFlatMap(d)
}
因为Validation又是个Applicative。它实现了ap函数:
/** Apply a function in the environment of the success of this validation, accumulating errors. */
def ap[EE >: E, B](x: => Validation[EE, A => B])(implicit E: Semigroup[EE]): Validation[EE, B] = (this, x) match {
case (Success(a), Success(f)) => Success(f(a))
case (e @ Failure(_), Success(_)) => e
case (Success(_), e @ Failure(_)) => e
case (Failure(e1), Failure(e2)) => Failure(E.append(e2, e1))
}
我们可以同时运算几个Validation算法并返回所有异常信息:
((.success : Validation[String,Int]) |@|
("oh, error1! ".failure : Validation[String,Int]) |@|
(.success : Validation[String,Int]) |@|
("oh, error2 again!".failure : Validation[String,Int])){_ + _ + _ + _}
//> res13: scalaz.Validation[String,Int] = Failure(oh, error1! oh, error2 again!)
我们看到即使其中两项运算出现异常但还是完成了所有运算并且返回了两条异常信息。不过这两条信息合并在了String里,可能不方便后续处理。Validation注入方法提供了failureNel函数。我们试着用用:
((.successNel : ValidationNel[String,Int]) |@|
("oh, error1! ".failureNel : ValidationNel[String,Int]) |@|
(.successNel : ValidationNel[String,Int]) |@|
("oh, error2 again!".failureNel : ValidationNel[String,Int])){_ + _ + _ + _}
//> res14: scalaz.Validation[scalaz.NonEmptyList[String],Int] = Failure(NonEmptyList(oh, error1! , oh, error2 again!))
现在这两条信息被放进了NonEmptyList里。NonEmptyList就是一种List,不过没有Nil状态。看看它的定义:scalaz/NonEmptyList.scala
/** A singly-linked list that is guaranteed to be non-empty. */
final class NonEmptyList[+A] private[scalaz](val head: A, val tail: List[A]) {
...
至少这个List含有head元素。NonEmptyList的构建器在注入方法中:scalaz/NonEmptyListOps.scala
final class NelOps[A](self: A) {
final def wrapNel: NonEmptyList[A] =
NonEmptyList(self)
} trait ToNelOps {
implicit def ToNelOps[A](a: A) = new NelOps(a)
}
我们简单地试用这个NonEmptyList:
val nel = <:: <:: .wrapNel //> nel : scalaz.NonEmptyList[Int] = NonEmptyList(2, 4, 3)
val snel = "one" <:: "two" <:: "three".wrapNel //> snel : scalaz.NonEmptyList[String] = NonEmptyList(one, two, three)
nel.list //> res17: List[Int] = List(2, 4, 3)
snel.list //> res18: List[String] = List(one, two, three)
我们可以直接把它转成List再进行处理操作。
Scalaz(20)-Monad: Validation-Applicative版本的Either的更多相关文章
- 泛函编程(25)-泛函数据类型-Monad-Applicative
上两期我们讨论了Monad.我们说Monad是个最有概括性(抽象性)的泛函数据类型,它可以覆盖绝大多数数据类型.任何数据类型只要能实现flatMap+unit这组Monad最基本组件函数就可以变成Mo ...
- 泛函编程(26)-泛函数据类型-Monad-Applicative Functor Traversal
前面我们讨论了Applicative.Applicative 就是某种Functor,因为我们可以用map2来实现map,所以Applicative可以map,就是Functor,叫做Applicat ...
- Monad / Functor / Applicative 浅析
前言 Swift 其实比 Objective-C 复杂很多,相对于出生于上世纪 80 年代的 Objective-C 来说,Swift 融入了大量新特性.这也使得我们学习掌握这门语言变得相对来说更加困 ...
- Scalaz(41)- Free :IO Monad-Free特定版本的FP语法
我们不断地重申FP强调代码无副作用,这样才能实现编程纯代码.像通过键盘显示器进行交流.读写文件.数据库等这些IO操作都会产生副作用.那么我们是不是为了实现纯代码而放弃IO操作呢?没有IO的程序就是一段 ...
- Scalaz(19)- Monad: \/ - Monad 版本的 Either
scala标准库提供了一个Either类型,它可以说是Option的升级版.与Option相同,Either也有两种状态:Left和Right,分别对应Option的None和Some,不同的是Lef ...
- Scalaz(10)- Monad:就是一种函数式编程模式-a design pattern
Monad typeclass不是一种类型,而是一种程序设计模式(design pattern),是泛函编程中最重要的编程概念,因而很多行内人把FP又称为Monadic Programming.这其中 ...
- 浅释Functor、Applicative与Monad
引言 转入Scala一段时间以来,理解Functor.Applicative和Monad等概念,一直是我感到头疼的部分.虽然读过<Functors, Applicatives, And Mona ...
- 泛函编程(27)-泛函编程模式-Monad Transformer
经过了一段时间的学习,我们了解了一系列泛函数据类型.我们知道,在所有编程语言中,数据类型是支持软件编程的基础.同样,泛函数据类型Foldable,Monoid,Functor,Applicative, ...
- Spring4新特性——集成Bean Validation 1.1(JSR-349)到SpringMVC 配置校验器
Spring4新特性——泛型限定式依赖注入 Spring4新特性——核心容器的其他改进 Spring4新特性——Web开发的增强 Spring4新特性——集成Bean Validation 1.1(J ...
随机推荐
- h5里viewport设置
正确设置: <meta name="viewport" content="width=device-width,initial-scale=1.0"> ...
- document对象
document 对象是操作网页内容的 找元素 1.根据id找 document.getElementById(); 2.根据class找 document.getElementsByClassNam ...
- iOS-性能优化1
iOS应用是非常注重用户体验的,不光是要求界面设计合理美观,也要求各种UI的反应灵敏,我相信大家对那种一拖就卡卡卡的 TableView 应用没什么好印象.还记得12306么,那个速度,相信大家都 ...
- js 字符串的操作
<!DOCTYPE html><html lang="en"><head> <meta charset="UTF-8" ...
- 利用Nodejs快速构建应用原型
利用Nodejs快速构建应用原型 开发一个应用往往需要快速的构建原型,然后在此基础上设计和改进,前端可能立马能看到效果,但是后端业务逻辑不会那么快,这个时候其实我们需要额只是一些模拟数据,所以不需要真 ...
- ROC曲线与AUC值
本文根据以下文章整理而成,链接: (1)http://blog.csdn.net/ice110956/article/details/20288239 (2)http://blog.csdn.net/ ...
- 如何查看某个查询用了多少TempDB空间
最近帮助客户调优的过程中,发现客户的TempDB存在非常大的压力,经过排查是发现某些语句对TempDB的巨量使用所导致. 在SQL Server中,TempDB主要负责供下述三类情况使 ...
- Surface Normal Vector in OpenCascade
Surface Normal Vector in OpenCascade eryar@163.com 摘要Abstract:表面上某一点的法向量(Normal Vector)指的是在该点处与表面垂直的 ...
- 学习WPF——使用Font-Awesome图标字体
图标字体介绍 在介绍图标字体之前,不得不介绍图标格式ICON ICON是一种图标格式,我们操作系统中各种应用程序都包含一个图标 比如QQ程序的图标是一个可爱的企鹅,我的电脑是一个显示器图标 ----- ...
- WPF/Silverlight 下的图片局部放大
最近的项目中也要用到一个局部图片放大的功能,园子里面一搜,发现(菩提下的杨过)杨大侠已经实现了. 请参见这里:http://www.cnblogs.com/yjmyzz/archive/2009/12 ...