scala - 为什么scala列表flatmap参数签名中只有1个类型参数

Question

为什么flatMap为 List只需要 B作为类型参数

def flatMap[B](f: (A) => U[B]): U[B]

代替

def flatMap[A, B](f: (A) => U[B]): U[B]

Answer 1

因为 A从 List 上定义的类型参数推导出来:

sealed abstract class List[+A]

从 flatMap为 A 类型的每个元素定义在 List ，无需显式声明它。