kind周辺の用語の整理
「型の型」という概念
類似
種多相
0個以上の型を引数に取り新たな型を作る型
Intとかも型コンストラクタ
型を取って型を返す型
類似
Higher Kinded Types
Higher Rank Type
HKT
Higher-Order Types
結局のところ「型」なので「高階多相型」など「~型」になる単語で呼ぶべきだろうmrsekut.icon
なので「~多相」とかって言葉を使うのはわかりにくいと思う
類似
高階多相
型コンストラクタ多相, type constructor polymorphism
高kind多相, higher-kinded polymorphism
高カインドジェネリクス, higher kind(ed) generics
高階ジェネリクス, higher order generics
高階多相kind
高階型パラメタ
kind多相
種多相
同じものを指した別の用語が多すぎてツライ😡
参考