为什么 Option 没有折叠方法？

Question

我想知道为什么 scala.Option 没有这样定义的方法 fold ：

fold(ifSome: A => B , ifNone: => B)

相当于

map(ifSome).getOrElse(ifNone)

是否没有比使用 map + getOrElse？

Answer 1

我个人发现像 cata 这样采用两个闭包作为参数的方法通常做得太过分了。你真的比 map + getOrElse 提高了可读性吗？想想你的代码的新人：他们会做什么

opt cata { x => x + 1, 0 }

你真的认为这比旧的更清晰吗

opt map { x => x + 1 } getOrElse 0

事实上我认为这两者都不比旧的好

opt match {
  case Some(x) => x + 1
  case None => 0
}

一如既往，存在一个限制，额外的抽象不会给你带来好处和转变适得其反。

Answer 2

它最终被添加到 Scala 2.10 中，其中签名fold[B](ifEmpty: => B)(f: A => B): B。

不幸的是，这会带来一个常见的负面后果：仅根据 ifEmpty 参数推断出 B 调用，而实际上，该参数的范围通常更窄。例如（标准库中已经有正确的版本，这仅用于演示）

 def toList[A](x: Option[A]) = x.fold(Nil)(_ :: Nil)

Scala 会将 B 推断为 Nil.type 而不是所需的 List[A ] 并抱怨 f 没有返回 Nil.type。相反，您需要其中之一。

 x.fold[List[A]](Nil)(_ :: Nil)
 x.fold(Nil: List[A])(_ :: Nil)

这使得 fold 并不完全等同于相应的 match。

Answer 3

您可以执行以下操作：

opt foldLeft (els) ((x, y) => fun(x))

或

(els /: opt) ((x,y) => fun(x))

（两种解决方案都会按值评估 els ，这可能不是您想要的。感谢Rex Kerr 指出了它。）

编辑：

但你真正想要的是 Scalaz 的 catamorphism cata （基本上是一个 fold ，它不仅处理Some 值，但也映射 None 部分，这就是您所描述的）

opt.cata(fun, els)

定义为（其中 value 是 pimped 选项值），

def cata[X](some: A => X, none: => X): X = value match {
  case None => none
  case Some(a) => some(a)
}

这是等效的到opt.map(some).getOrElse(none)。

尽管我应该指出，只有当 cata 是“更自然”的表达方式时才应该使用它。在许多情况下，一个简单的 map - getOrElse 就足够了，特别是当它涉及潜在链接大量 map 时。 （当然，尽管您也可以将fun与函数组合链接起来——这取决于您是否想专注于函数组合或值转换。）

Answer 4

正如 Debilski 提到的，您可以使用 Scalaz 的 OptionW.cata 或 fold。正如 Jason 所评论的，命名参数使这看起来很不错：

opt.fold { ifSome = _ + 1, ifNone = 0 }

现在，如果您在 None 情况下想要的值是 mzero 对于某些 Monoid[M] > 并且你有一个函数 f: A =>; M 对于 Some 情况，你可以这样做：

opt foldMap f

所以，

opt map (_ + 1) getOrElse 0

变成

opt foldMap (_ + 1)

个人而言，我认为 Option 应该有一个 apply 方法将是变形现象。这样你就可以这样做：

opt { _ + 1, 0 }

或者

opt { some = _ + 1, none = 0 }

事实上，这对于所有代数数据结构来说都是很好的。