具有反向关联中缀表示法的柯里化函数的部分应用语法

Question

换句话说，是否有充分的理由不能编译？

def f(xs: List[Int]) = xs.foldLeft(0) _  // OK
def f(xs: List[Int]) = (xs :\ 0) _       // OK
def f(xs: List[Int]) = (0 /: xs) _

<console>:15: error: missing arguments for method /: in trait TraversableOnce;
follow this method with `_' if you want to treat it as a partially applied function

这里有一些解决方法：

def f(xs: List[Int]) = xs./:(0) _
def f(xs: List[Int]): ((Int, Int) => Int) => Int = (0 /: xs)

但我的问题主要是关于一般正确的语法。

Answer 1

我刚刚修复了这个问题，但我还无法签入它，因为它需要修改规范。

scala> def f(xs: List[Int]) = (0 /: xs) _
f: (xs: List[Int])(Int, Int) => Int => Int

scala> f(1 to 10 toList)
res0: (Int, Int) => Int => Int = <function1>

scala> res0(_ + _)
res1: Int = 55

问题是，如果 op 是右关联的，则规范定义“e1 op e2”为 { val x=e1; e2.op(x ) } 的原因对我来说并不明显，因为更简单的 e2.op(e1) 解决了这个问题等，例如 https://issues.scala-lang.org/browse/SI-1980。我会进行询问。

Answer 2

看起来像一个编译器错误。我已经在不同的 scala 版本和我得到的结果上测试了这个表达式：

def f(xs: List[Int]) = (0 /: xs) _

它对于 2.9.1.final 和 2.8.2.final 的行为是相同的，但是对于2.7.7.final 它会触发不同的错误消息（Iterable 与 TraversableOnes），但我认为这是因为旧版本中集合库的重新设计。

def f(xs: List[Int]) = (0 /: xs) _
<console>:4: error: missing arguments for method /: in trait Iterable;
follow this method with `_' if you want to treat it as a partially applied function

---

我在评论中提到的表达式对于不同的 scala 版本表现不同。

def f(xs: List[Int]): (Int, Int) => Int => Int = (0 /: xs)

scala 2.9.1.final：

 found   : (Int, Int) => Int => Int
 required: (Int, Int) => Int => Int

确实令人困惑的编译器消息，绝对是一个错误。

scala 2.8.2.final：

 found   : => ((Int, Int) => Int) => Int
 required: (Int, Int) => (Int) => Int

一开始就很奇怪 => ，与 2.7.7.final 结果相比，看起来像是回归。

scala 2.7.7.final：

 found   : ((Int, Int) => Int) => Int
 required: (Int, Int) => (Int) => Int

found 看起来是正确的，但代码仍然无法工作。

我在 scala bugtracker 上搜索了类似的问题，但找不到任何合适的内容。认为创建一个票证就足够了（或两个？看起来这两个错误不相关）。