zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 型理論 言語処理系 前回に続いてミュータブルな型変数に対する破壊的代入で実装する効率的な単相型推論について見ていく。今回はtypeof関数の内部で使われているmatch_fun_ty、そしてunify, occursinの実装について。 match_fun_ty 前回見たとおり、型推論・型検査を行うtypeof関数の「関数適用」ケースでmatch_fun_tyというヘルパ関数が使われている： let rec typeof env = function ... | EApp(func, arg) -> let tfunc = typeof env func in let targ = typeof env arg … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F10%2F27%2F184301" 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-27 18:43:01 rich https://zehnpaard.hatenablog.com/entry/2022/10/27/184301 1.0 100%