shigemk2 https://blog.hatena.ne.jp/shigemk2/ by shigemk2 https://www.shigemk2.com/ Haskell カインドは型コンストラクタの型、もしくはより一般的ではないが高階型演算子の型 カインド (型理論) - Wikipedia 実際にはアリティ指定子とも言われる。 アリティ - Wikipedia なお、すごいH本には、P228に「型コンストラクタの種類」としれっと書いてある。 型コンストラクタの種類( kind )は * -> * そして、型コンストラクタは、型を引数に取って具体型を返すと説明されている。 すごいHaskell 第7章 型や型クラスを自分で作ろう(前編) from Nozomu Kaneko www.slideshare.net 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.shigemk2.com%2Fentry%2Fhaskell_kind" title="カインドとアリティ - by shigemk2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-08-28 16:41:38 rich https://www.shigemk2.com/entry/haskell_kind 1.0 100%