型变

Scala 中的上下文界定是一个特性，它提供了一种简写语法来表达一个依赖于类型参数的上下文参数的常见模式。上下文界定用于简化泛型类型的代码，在类型类（type classes）的上下文中特别有用。