Предположим, что у меня есть этот монадический класс:
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 \/
или EitherT
).
Мне не удалось найти какое-либо обсуждение этого изменения в примечания к выпуску 2.10.1. Может ли кто-нибудь указать, где и почему было введено это новое десурагирующее поведение?