Question

假设我有这个monadic类：

case class Foo[A](xs: List[A]) {
  def map[B](f: A => B) = Foo(xs map f)
  def flatMap[B](f: A => Foo[B]) = Foo(xs flatMap f.andThen(_.xs))
  def withFilter(p: A => Boolean) = {
    println("Filtering!")
    Foo(xs filter p)
  }
}

以下内容来自2.10.0 REPL会话：

scala> for { (a, b) <- Foo(List(1 -> "x")) } yield a
res0: Foo[Int] = Foo(List(1))

2.10.1中的情况与此相同：

scala> for { (a, b) <- Foo(List(1 -> "x")) } yield a
Filtering!
res0: Foo[Int] = Foo(List(1))

这对我来说是完全出乎意料的，并且在过滤需要额外约束的情况下（例如Scalaz的\/ or EitherT）会导致特别混乱的错误。

我无法在2.10.1 release notes中找到有关此更改的任何讨论。有人能指出这种新的贬低行为的引入位置和原因吗？

Answer 1

这个故事比这个更复杂，实际上是插入那里的2.10.0回归。

c82ecab中引入了“不 - withFilter”行为，由于SI-6968之类的内容，部分#1893还原了这一行为。随后进行了进一步调整（SI-6646，SI-7183）

您正在寻找的外卖句是：

解析器不能假设模式（a，b）将匹配，作为结果 .isInstanceOf [Tuple2]直到之后才能静态知道导电型测量仪。

Scala 2.10.1中的新的desugaring行为

1 个答案: