Scala 是"；类型构造函数“；及；“通用类型”；同样的事情？

我不清楚这两个词，它们是一样的吗

对于此scala代码：

class Box[T]

我可以说：

我定义了一个类型构造函数

Box

我定义了一个类型构造函数

Box[T]

我定义了一个泛型类型

Box[T]

---

您可以在Scala 2.11 REPL中使用

：kind-v类框[T]

。您将看到：

Box的类型是F[A]，*->*，这是一个类型构造函数：一阶类型。