5
Scalaの上位の型とは何ですか?
あなたはウェブ上で以下を見つけることができます: より高い種類の型==型コンストラクタ? class AClass[T]{...} // For example, class List[T] 定義に準拠する型を抽象化するため、これはより高い種類の型であると言う人もいます。 上位の種類は、他の型を取り、新しい型を構築する型です これらはタイプコンストラクターとも呼ばれます。(たとえば、Scalaでのプログラミング)。 より高い種類の型==型コンストラクターを型パラメーターとして受け取る型コンストラクター? 論文Generics of a Higher Kindで、あなたは読むことができます ...タイプを抽象化するタイプを抽象化するタイプ(「より種類の高いタイプ」)... " それはそれを示唆しています class XClass[M[T]]{...} // or trait YTrait[N[_]]{...} // e.g. trait Functor[F[_]] より親切なタイプです。 したがって、これを念頭に置いて、型コンストラクタ、より高い種類の型、および型コンストラクタを型パラメータとして取る型コンストラクタを区別することは困難です。したがって、上記の質問です。