嵌套类型的上下文绑定
Context bound for nested type
是否可以以某种方式为嵌套类型创建上下文绑定？像这样：
def f[T : U[List]](a: T)
Ofc，这不是 Scala 语法，但说明了我想要实现的目标，即对隐式 U[List[T]] 进行绑定。这可能吗？
谢谢。
您可以使用类型别名来完成：
type UList[X] = U[List[X]]
def f[T : UList](a: T)
或
def f[T:({type UL[X] = U[List[X]]})#UL](a: T)
是否可以以某种方式为嵌套类型创建上下文绑定？像这样：
def f[T : U[List]](a: T)
Ofc，这不是 Scala 语法，但说明了我想要实现的目标，即对隐式 U[List[T]] 进行绑定。这可能吗？
谢谢。
您可以使用类型别名来完成：
type UList[X] = U[List[X]]
def f[T : UList](a: T)
或
def f[T:({type UL[X] = U[List[X]]})#UL](a: T)