zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ 型理論 ツイッターで型コンストラクタが型かどうか？という話があり、ツイートで少し書いたのだがもうちょっとまとめてみる。 TaPLにおける定義 型コンストラクタと型はまったく同じ概念を指す言葉である 型はカインドを持つ カインド*の型を真の型と呼び、これらは０引数の型コンストラクタである OCamlにおける定義 型とは型コンストラクタの一種であり、特に０引数のものを指す 型コンストラクタはすべてカインドを持つ 型（すなわち0引数の型コンストラクタ）はカインド*である 型コンストラクタは引数としては型をとり、返０以上の引数をもつ型コンストラクタを返す （まったくの門外漢だけど、Haskellでの定義はTa… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F11%2F11%2F202424" title="型コンストラクタは型なのか - Arantium Maestum" 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 2022-11-11 20:24:24 rich https://zehnpaard.hatenablog.com/entry/2022/11/11/202424 1.0 100%