zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 型理論 言語処理系 前回書いた通り、TaPL準拠の型推論が完全に純粋関数型なのに対して、「ユニークな型変数を作る」new_tvar関数に状態を持たせることでいちいち引数・返り値のタプルの一部として渡し回さなくてもいいようにする。 HaskellだったらStateモナドの出番なのだろうが、OCamlなので普通に破壊的代入でやってしまう。 今回のコード： gist.github.com 変更を加えたのはnew_tvar関数そのもの、大元のtypeof関数、そしてinfer関数の三箇所。unifyやapplysubstなどは元々new_tvarを触っていなかったので変更なし。 new_tvar before type … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F10%2F25%2F184723" 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-10-25 18:47:23 rich https://zehnpaard.hatenablog.com/entry/2022/10/25/184723 1.0 100%