从函数参数推断类型参数答案

【问题标题】：infer type parameter from function argument从函数参数推断类型参数
【发布时间】：2015-03-25 21:59:51
【问题描述】：

在another stackoverflow question的上下文中，我有这个sn-p：

def orderedGroupBy[T, P](seq: Traversable[T], f: T => P): Traversable[Tuple2[P, Traversable[T]]] = {
  @tailrec
  def accumulator(seq: Traversable[T], f: T => P, res: List[Tuple2[P, Traversable[T]]]): Traversable[Tuple2[P, Traversable[T]]] = seq.headOption match {
    case None => res.reverse
    case Some(h) => {
      val key = f(h)
      val subseq = seq.takeWhile(f(_) == key)
      accumulator(seq.drop(subseq.size), f, (key -> subseq) :: res)
    }
  }
  accumulator(seq, f, Nil)
}

我想像使用 .groupBy 一样使用它，例如：

orderedGroupBy(1 to 100, (_ / 10))

但是编译器会产生一个关于没有足够类型信息的错误

<console>:10: error: missing parameter type for expanded function ((x$1) => x$1.$div(10))
              orderedGroupBy(1 to 100, (_ / 10))

这样做的惯用方法是什么？

【问题讨论】：

标签： scala

【解决方案1】：

你可以对参数进行curry，这样T就只能从seq: Traversable[T]推断出来了。

def orderedGroupBy[T, P](seq: Traversable[T])(f: T => P): Traversable[Tuple2[P, Traversable[T]]] = ???

scala> orderedGroupBy(1 to 100)(_ / 10)
res110: Traversable[(Int, Traversable[Int])] = List((0,Range(1, 2, 3, 4, 5, 6, 7, 8, 9)), (1,Range(10, 11, 12, 13, 14, 15, 16, 17, 18, 19)), (2,Range(20, 21, 22, 23, 24, 25, 26, 27, 28, 29)), (3,Range(30, 31, 32, 33, 34, 35, 36, 37, 38, 39)), (4,Range(40, 41, 42, 43, 44, 45, 46, 47, 48, 49)), (5,Range(50, 51, 52, 53, 54, 55, 56, 57, 58, 59)), (6,Range(60, 61, 62, 63, 64, 65, 66, 67, 68, 69)), (7,Range(70, 71, 72, 73, 74, 75, 76, 77, 78, 79)), (8,Range(80, 81, 82, 83, 84, 85, 86, 87, 88, 89)), (9,Range(90, 91, 92, 93, 94, 95, 96, 97, 98, 99)), (10,Range(100)))

【讨论】：

这是预期的事情吗？它在代码审查中如何保持？谢谢你的回答。
实际上我更喜欢使用柯里化，因为它可以让您将它与代码块一起使用而不会看起来很糟糕。 orderedGroupBy(mySeq) { element => ..... } .. 想象一下，有更多的逻辑。 scala 集合库中的foldLeft 做同样的事情。
@hraban 这在 Scala 中是完全标准的。