「型の型」という概念

類似

種多相

0個以上の型を引数に取り新たな型を作る型

高階型と異なり、型引数が0個の型も含まれる

Int とかも型コンストラクタ

型を取って型を返す型

類似

結局のところ「型」なので「高階多相型」など「~型」になる単語で呼ぶべきだろう

なので「~多相」とかって言葉を使うのはわかりにくいと思う

多相型である高階型のこと

類似

高階多相

型コンストラクタ多相, type constructor polymorphism

高kind多相, higher-kinded polymorphism

高カインドジェネリクス, higher kind(ed) generics

高階ジェネリクス, higher order generics

高階多相kind

高階型パラメタ

kind多相

種多相

同じものを指した別の用語が多すぎてツライ😡

参考