有界量化-一流百科

有界量化

有界量化在类型理论中，有界量化（也是有界多态性或有界泛型）指的是普遍的或存在的量词，这些量词被限制（有界）在一个特定类型的子类型上范围。有界量化是...