5
Scala中什么是更高种类的类型?
您可以在网上找到以下内容: 更高种类的类型==类型构造函数? class AClass[T]{...} // For example, class List[T] 有人说这是一种更高种类的类型,因为它抽象了符合该定义的类型。 较高种类的类型是采用其他类型并构造新类型的类型 这些虽然也称为类型构造函数。(例如,在Scala编程中)。 更高种类的类型==类型构造函数,它将类型构造函数作为类型参数? 在高级类属的论文中,您可以阅读 ...在类型上进行抽象的类型,在类型上进行抽象(“高级类型”)...” 这表明 class XClass[M[T]]{...} // or trait YTrait[N[_]]{...} // e.g. trait Functor[F[_]] 是一种较高的类型。 因此,考虑到这一点,很难区分类型构造函数,更高种类的类型和将类型构造函数作为类型参数的类型构造函数,因此存在上述问题。