当返回类型为Option[Error]时处理快速失败失败

Question

我已经发布了很多关于Scala失败处理的问题，非常感谢大家的回答。

我理解我的选择，当处理要么和Scalaz或一个理解，我有另一个（最后一个？）问题：

当操作与外部非功能世界（如数据库）打交道时，如何执行快速失败的操作序列？

我是说我有这样的方法：

def insertItem(item: Item): Either[Error,Item]

感谢Ay和这些答案，我知道如何使用Ayth来做到这一点：在Scala中使用Ayth和Method参数验证链接方法调用，用于理解和monads

但是我的Itemcase类是不可变的，将其作为right返回并没有真正意义，因为调用者已经拥有该值。

因此，我怎样才能对以下各项做同样的事情：

def insertItem(item: Item): Option[Error]

在我的应用程序中，当创建一个用户时，我们也为他创建一些项目。如果一个项目创建失败，那么整个过程应该停止。

当我在a中直接使用选项[Error]进行理解时，我认为我不会得到预期的结果。

我想做这样的事情是有意义的：

for {
  _ <- insertItem(item1).toLeft("???").right
  _ <- insertItem(item2).toLeft("???").right
  _ <- insertItem(item3).toLeft("???").right
}

但正如价值观“???”我把我的权利从来没有用过，我想我错过了优雅的解决方案，它不涉及创建永远不会被使用的权利。

我想我在寻找一种只有当结果为＜code＞无

顺便说一句，如果可能的话，我想要非Scalaz和Scalaz解决方案。我不确定Scalaz是否能处理这些事情，因为它似乎更专注于真正的函数式编程，并且可能没有为副作用行为提供代码，比如我的用例？

Answer 1

如果要将包含 Option[Error] 的方法链接在一起，并且仅在“选项”为“无”时才执行下一步，则可以使用 orElse 来实现此目的。

Answer 2

我们做了类似的事情，在那里我使用scalaz来快速失败消息发送，尽管这不是惯用的scalaz：

def insertItem(item: Item): Validation[Error, Unit]

val result = for {
  _ <- insertItem(item1)
  _ <- insertItem(item2)
  _ <- insertItem(item3)
} yield Unit

Answer 3

在这种情况下，我看不到不使用[Error， Unit]的原则性理由（或者至少我已经这样做了，我对此并不感到内疚）。假设我们有以下内容：

def launch(thing: String): Either[String, Unit] = Either.cond(
  thing.nonEmpty,
  println("Launching the " + thing),
  "Need something to launch!"
)

我们可以证明正确的投影monad是适当的惰性：

scala> for {
     |   _ <- launch("flowers").right
     |   _ <- launch("").right
     |   r <- launch("MISSILES").right
     | } yield r
Launching the flowers
res1: Either[String,Unit] = Left(Need something to launch!)

没有导弹被发射，如所愿。

值得注意的是，如果您使用Option而不是任一，则您描述的操作只是给定Option的“First”monud实例的总和（其中加法操作只是或Else）。例如，我们可以使用Scalaz 7编写以下内容：

import scalaz._, Scalaz._

def fst[A](x: Option[A]): Option[A] @@ Tags.First = Tag(x)

def launch(thing: String): Option[String] = if (thing.isEmpty) Some(
  "Need something to launch!"
) else {
  println("Launching the " + thing)
  None
}

现在：

scala> val r: Option[String] = fst(launch("flowers")) |+| fst(
     |   launch("")) |+| fst(launch("MISSILES"))
Launching the flowers
r: Option[String] = Some(Need something to launch!)

再一次，没有导弹。