泛型的定义：泛型是JDK 1.5的一项新特性，它的本质是参数化类型 ParameterizedType，即带有类型参数的类型。
类型参数。
https://www.cnblogs.com/baiqiantao/p/7475696.html
泛型是程序设计语言的一种特性。允许程序员在强类型程序设计语言中编写代码时定义一些可变部分，那些部分在使用前必须作出指明。
与类型相关的可变部分。
https://baike.baidu.com/item/泛型/4475207
在scala中，类型参数化(类似于泛型)使用方括号实现，如：Foo[A]，同时，我们称Foo为高阶类型。如果一个高阶类型有2个类型参数，则在声明变量类型时可以使用中缀形式来表达，此时也称该高阶类型为中缀类型，示例如下：
https://blog.csdn.net/oinvuki3375/article/details/77979758