scala - 如何在 Scala 中为表达式注释表达式类型

Question

我想知道如何(安全地)将类型归属添加到 Scala 表达式的左侧。

在处理复杂的 for 表达式时，推断的类型通常难以理解，或者可能偏离轨道，最好在 for {..} block 中注释表达式，以检查你和编译器同意。使用 Eff monad 的说明性代码草图:

for {
  e1: Option[(Int, Vector[Int])] <- complexCalc
  e2 <- process(e1)
} yield e2

def complexCalc[E]: Eff[E, Option[(Int, Vector[Int])]] = ???

但是，这与 Scala 对 for 表达式的 LHS 模式匹配的支持相冲突。

• 如 earlier question 中所述, Scala 将类型归属 : Option[(Int, Vector[Int])] 视为要匹配的模式。
• 编译器具有无可辩驳 模式的概念，它始终匹配。相反，可反驳 模式可能不匹配，因此当用于 for 表达式时，righthand-side expression must provide a withFilter method to handle the non-matching case .
• 由于 longstanding compiler bug/limitation ，元组和其他常见的constructor patterns似乎永远不会被视为无可辩驳。

最终结果是添加类型归属使得 LHS 模式看起来可以反驳并且需要在 RHS 上定义 filter 操作。一个症状是编译器错误，例如 value filter is not a member of org.atnos.eff.Eff[E,Option[(Int, Vector[Int])]]。

是否有任何句法形式可用于将类型归于包含元组的中间表达式，在 for 表达式中，而不会遇到可反驳的模式匹配？

Answer 1

事实证明，在这个 Scalaz PR 中对这个问题和当前最佳解决方案进行了广泛的讨论。 *。

解决方法是在下面一行的分配中添加类型归属:

for {
  e <- complexCalc
  e1: Option[(Int, Vector[Int])] = e
  e2 <- process(e1)
} yield e2

def complexCalc[E]: Eff[E, Option[(Int, Vector[Int])]] = ???