カインド
カインド(kind、種類)
型システム、Haskellあたりに出てくる型の型に関するもの
『新装版 プログラミング言語の基礎理論』 P247 では「種類」と訳されている
Haskell辺りではよく出てくる
(以下カインドでよく使われている*をTypeで置き換え)
Maybeや[]はType -> Type
EitherはType -> Type -> Type
Haskellのghciで見たとき
code:memo
ghci> :kind Maybe
Maybe :: * -> *
ghci> :kind Either
Either :: * -> * -> *
確認用
Q. カインド
参考
龍田 真. 型理論III. 1991.
『型システム入門 : プログラミング言語と型の理論』第29章 型演算子とカインド. P348～
『新装版 プログラミング言語の基礎理論』 P247
関連
ソート
宇宙(数学)
型演算子
型構築子(型コンストラクタ)
メモ
型とカインド｜Haskellでの型レベルプログラミング
純粋型システムとλキューブ - liewecmays
Haskell の依存型に入門する
Haskellの種(kind)について (Part 2) - Haskell-jp
調査用
Google.icon カインド(日)
Google.icon Kind(英)
Wikipedia.icon
カインド - Wikipedia(日)
カインド(検索) - Wikipedia(日)
Wikipedia.icon
Kind - Wikipedia(英)
Kind(検索) - Wikipedia(英)