Scala 从函数参数推断类型参数

Scala 从函数参数推断类型参数,scala,Scala,在的上下文中,我有以下代码片段: def orderedGroupBy[T,P](seq:Traversable[T],f:T=>P):Traversable[Tuple2[P,Traversable[T]]={ @泰勒克 def累加器(seq:Traversable[T],f:T=>P,res:List[Tuple2[P,Traversable[T]]):Traversable[Tuple2[P,Traversable[T]]]=seq.headOption匹配{ case None=>res

在的上下文中,我有以下代码片段:

def orderedGroupBy[T,P](seq:Traversable[T],f:T=>P):Traversable[Tuple2[P,Traversable[T]]={
@泰勒克
def累加器(seq:Traversable[T],f:T=>P,res:List[Tuple2[P,Traversable[T]]):Traversable[Tuple2[P,Traversable[T]]]=seq.headOption匹配{
case None=>res.reverse
案例部分(h)=>{
val键=f(h)
val subseq=序列takeWhile(f()=键)
累加器(顺序下降(水下尺寸),f,(键->水下)::res)
}
}
累加器(顺序、f、无)
}
我想像人们可以使用的那样使用它。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))
:10:错误:扩展函数缺少参数类型((x$1)=>x$1.$div(10))
orderedGroupBy(1到100,(/10))

执行此操作的惯用方法是什么?

您可以对参数进行curry运算,以便仅从
seq:Traversable[T]
推断出
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=>…}。。想象一下,有更多的逻辑foldLeft也做了同样的事情。@hraban这在scala中是完全标准的。