scala - 为什么 groupBy 的签名只包含一个泛型？

Question

这是方法签名：

groupBy[K](f: (A) ⇒ K): immutable.Map[K, Repr]

不应该以下：

groupBy[A, K](f: (A) ⇒ K): immutable.Map[K, Repr]

更合适，因为它收集了A？

Answer 1

不需要[A]在方法级别定义类型参数，因为它是在类级别定义的，例如：

sealed abstract class List[+A]

所以当这样声明方法时是groupBy[K](f: (A) ⇒ K): immutable.Map[K, Repr] A已知的。