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

我已经发布了很多关于 Scala 中的故障处理的问题，我真的感谢大家的回答。

我理解在处理 Either 和 Scalaz 或 a 时的选择，以便理解，我还有另一个（最后一个？）问题：

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

我的意思是我有这样的方法：

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

感谢 Either 和这些答案，我知道如何使用 Either 来做到这一点：使用 Either 链接方法调用 https://stackoverflow.com/questions/12107272/chaining-method-calls-with-either and Scala 中的方法参数验证，带有理解和 monad https://stackoverflow.com/questions/12307965/method-parameters-validation-in-scala-with-for-comprehension-and-monads

But my Itemcase 类是不可变的，将其作为Right因为调用者已经拥有该值。

因此，我怎样才能做同样的事情：

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

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

当我直接使用时Option[Error]在理解中，我认为我不会得到我期望的结果。

我想这样做是有意义的：

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

但作为值“？？？”我投入的权利从来没有用，我想我错过了一个优雅的解决方案，该解决方案不涉及创建永远不会使用的权利。

我想我正在寻找只有当结果是时才会继续理解的东西None，这有点奇怪，因为我只想继续下一个操作，而不是做真正的操作map手术。

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

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

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

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

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代替Either，您描述的操作只是给定“第一个”幺半群实例的总和Option（其中加法运算只是orElse）。例如，我们可以使用 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
}

And now:

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

再次，没有导弹。