m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 KuwataさんがCatyのカインドの話を書いています。Catyのカインド（kind、種）は「型の型」ですが、高階の型としてはやたらに簡単な定義になっています。Catyでは、JSONデータからなるデータ領域Dを固定して、Dの部分集合を型と考えています（Sets-as-Types解釈）。このため、型の型と言っても、ベキ集合を1回取るだけでモデルが作れます*1。これはどういうことかと言うと： 「値に関する概念」を、そのまま1レベル上げるだけで「型に関する概念」が得られる。 「1レベル上げる」作業は、ほとんど機械的と言えるくらいに単純です。内容： 値と型、定数と関数 値の集合、型の集合 関数と集合の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20110430%2F1304128329" title="Catyのカインド： やたらに簡単な高階の型 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2011-04-30 10:52:09 rich https://m-hiyama.hatenablog.com/entry/20110430/1304128329 1.0 100%