カインドは型コンストラクタの型、もしくはより一般的ではないが高階型演算子の型
実際にはアリティ指定子とも言われる。
なお、すごいH本には、P228に「型コンストラクタの種類」としれっと書いてある。
型コンストラクタの種類( kind )は * -> *
そして、型コンストラクタは、型を引数に取って具体型を返すと説明されている。
www.slideshare.net
カインドは型コンストラクタの型、もしくはより一般的ではないが高階型演算子の型
実際にはアリティ指定子とも言われる。
なお、すごいH本には、P228に「型コンストラクタの種類」としれっと書いてある。
型コンストラクタの種類( kind )は * -> *
そして、型コンストラクタは、型を引数に取って具体型を返すと説明されている。
www.slideshare.net