什么是＆＃34; generics＆＃34;之间的关系？和＆＃34;高阶类型＆＃34;？

Question

从这个问题：What is a higher kinded type in Scala?，我了解higher-order types（first-order type和proper type）。

但仍有一个问题：generics和＆＃34;高阶类型＆＃34;之间的关系是什么？

我知道Java支持generics，就像Scala中的first-order类型一样。

以下哪项是正确的？

1. 在Scala中，只有first-order type为generics
2. 在Scala中，first-order和higher-order类型都属于generics
3. 在Java中，generics仅表示first-order类型，它不完整
4. generics是一个常用术语，意味着我们可以＆＃34;抽象＆＃34;关于类型，无论first-order还是higher-order

Answer 1

我会说（1.）是错的。 我不确定（3.）因为我在Java方面有点不合时宜。 但我会说（4.）非常准确，有点类似于（2。）。

据我所知，术语泛型仅指类型参数的用法。它适用于一阶和高阶类型或函数。

Offtopic（有些神经质）：是否有其他人在（2。）中看到 Wing Commander 的隐藏引用