5

来自这个问题：Scala 中的高级类型是什么？，我明白什么是higher-order types（也first-order type和proper type）。

但是还有一个问题：generics和“高阶类型”有什么关系？

我知道 Java 支持generics，这就像first-orderScala 中的类型。

以下哪项是正确的？

  1. 在 Scala 中，只有first-order typeisgenerics
  2. 在 Scala 中，first-order类型higher-order都属于generics
  3. 在Java中，generics只是平均first-order类型，它不完整
  4. genericsfirst-order是一个通用术语，意味着我们可以对类型进行“抽象” ，无论是higher-order
4

1 回答 1

1

我会说（1.）是错误的。我不确定（3.），因为我对 Java 有点不习惯。但我想说（4.）非常准确，有点类似于（2.）。

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

离题（而且有点书呆子）：有没有其他人在 (2.) 中看到对Wing Commander的隐藏引用

于 2015-08-02T09:16:04.170 回答