The actual type arguments can be matched to the type variables defined by the generified class.
实际的类型参数可以由泛型类定义的类型变量匹配。
Generic types can be thought of as type "functions"; they are parameterized by type variables that can then be instantiated with various type arguments depending on context.
可以将泛型类型看作是类型“函数”；它们通过类型变量进行参数化，这些类型变量可以根据上下文用各种类型参数进行实例化。
Unlike Pyrex, Psyco does not exactly type variables but rather creates several speculative machine code versions of each Python block based on each hypothesis about what the data types might be.
与Pyrex不同，Psyco并不会精确地限定变量的类型，而是根据数据可能是哪种类型的每种假设为每个Python代码块创建几种可能的机器代码。
Common interface for entities that have type variables.
有类型变量的实体的通用接口。
With type variables, the original type system can be augmented and become a polymorphic type system.
引入类型变量和相应的类型检查方法，就可以将其类型系统扩充为多态类型系统。
This differs from the assignment of reference type variables, which copies a reference to the object but not the object itself.
这与引用类型变量的赋值不同，引用类型变量的赋值只复制对对象的引用，而不复制对象本身。
This differs from the assignment of reference type variables, which copies a reference to the object but not the object itself.
这与引用类型变量的赋值不同，引用类型变量的赋值只复制对对象的引用，而不复制对象本身。
应用推荐