With type variables, the original type system can be augmented and become a polymorphic type system.

引入类型变量和相应的类型检查方法，就可以将其类型系统扩充为多态类型系统。

youdao

With type variables, the original type system can be augmented and become a polymorphic type system.

引入类型变量和相应的类型检查方法，就可以将其类型系统扩充为多态类型系统。

youdao