カインド
#Fleeting_Notes
カインド(kind、種)
型の型で関するもの
Haskell辺りではよく出てくる
確認用
Q. カインド
参考
龍田 真. 型理論III. 1991.
関連
ソート
宇宙(数学)
型演算子
型構築子
(
型コンストラクタ
)
メモ
型とカインド｜Haskellでの型レベルプログラミング
純粋型システムとλキューブ - liewecmays
Haskell の依存型に入門する
調査用
Google.icon
カインド(日)
Google.icon
Kind(英)
Wikipedia.icon
カインド - Wikipedia(日)
カインド(検索) - Wikipedia(日)
Wikipedia.icon
Kind - Wikipedia(英)
Kind(検索) - Wikipedia(英)