В Интернете вы можете найти следующее:
-
Конструктор более высокого типа == ==
class AClass[T]{...} // For example, class List[T]
Некоторые говорят, что это более высокий тип, потому что он тезисы по типам, которые бы соответствовали определению.
Более высокие типы типов - это типы, которые принимают другие типы и создают новый тип
Они, однако, также известны как конструктор типов. (Например, в Программирование в Scala).
-
Конструктор с более высоким типом == type, который принимает тип конструктора как параметр типа <
В статье Дженерики более высокого сорта вы можете прочитать
... типы, которые абстрагируются от типов, которые абстрактны по типам ( "более высокие типы" )... "
что предполагает, что
class XClass[M[T]]{...} // or trait YTrait[N[_]]{...} // e.g. trait Functor[F[_]]
- более высокий тип.
Поэтому, имея в виду это, трудно различить конструктор типов, конструктор с более высоким типом и конструктором типов, который принимает типы конструкторов как параметр типа, поэтому вопрос выше.