zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 型理論 言語処理系 HM型推論にタプル型を追加していく。今回のコードはこちら。 型 タプルというのはちょっと不思議な型で、型コンストラクタとして表そうとすると「任意の数の型をとる型コンストラクタ」となる。理論上の考え方としては二つの型をとるPair型コンストラクタとUnit型を合わせて、式レベルではConsとNilでやるリストを型レベルでやっているものと同型だと見るのが良さそう。 ただし今回はPairを使った実装はしない： type ty = ... | TTuple of ty list 見てのとおり、直接「型のリスト」を持つTTupleを定義している。 式 式として追加するのはタプル値を作成するETuple式… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F11%2F06%2F230137" title="Hindley Milner型推論に機能を追加していく４ Tuple型の追加 - 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-06 23:01:37 rich https://zehnpaard.hatenablog.com/entry/2022/11/06/230137 1.0 100%