Scala 的 Try 单子(monad)链

Question

考虑以下函数链f , g和 h使用一元的理解。

  for {
    x <- List ( 11, 22, 33, 44, 55 )
    y <- f ( x )
    z <- g ( y )
    a <- h ( z )
  } yield a

如果 f , g和 h都有签名:

  Int => Option [ Int ] 

然后 for-comprehension 编译得很好。但是，如果我替换 Option [ Int ]经过 Try [ Int ] , Scala 的类型推断器提示这条线

  y <- f ( x )

带有以下错误消息。

  error: type mismatch;
  found   : scala.util.Try[Int]
  required: scala.collection.GenTraversableOnce[?]
      y <- f ( x )

为什么？两个 Option [ _ ]和 Try [ _ ]是(或应该是)单子(monad)，并且应该按照草图顺利工作。

Answer 1

您只能在 for 理解中使用相同类型的 monad。在这种情况下，您的所有值都必须是 GenTraversableOnce ，因为第一个是。它适用于 Option , 因为有一个来自 Option 的隐式转换至Seq ，但这对于 Try 是不可能的.