カインドとは？
かいんど
型の型を表すメタレベルの分類だよ。
『カインド』とは型の型のことでHaskellでMaybeは引数を一つとる型コンストラクタと分類されるよ。
つかいかた・れいぶん
HaskellではMaybeは* -> *というカインドで型を一つ受け取ると別の型を作るよ。
このことばを シェア
さいごの こうしん: