読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

カインドとアリティ

Haskell

カインドは型コンストラクタの型、もしくはより一般的ではないが高階型演算子の型

カインド (型理論) - Wikipedia

実際にはアリティ指定子とも言われる。

アリティ - Wikipedia

なお、すごいH本には、P228に「型コンストラクタの種類」としれっと書いてある。

型コンストラクタの種類( kind )は * -> *

そして、型コンストラクタは、型を引数に取って具体型を返すと説明されている。

www.slideshare.net