zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 型理論 言語処理系 前々回、前回に続いて純粋関数型な単相型推論の実装を詳細に見ていく。コードの全容はこちら。 型推論・型検査の関数であるtypeof： let typeof env new_tvar constr e = let (t, new_tvar, constr1) = infer env new_tvar e in let constr = unify (constr @ constr1) in let t = applysubst constr t in (t, new_tvar, constr) この後半で使われているunifyとapplysubstを見ていく。 unifyはinferから返ってくる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F10%2F24%2F193920" 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-24 19:39:20 rich https://zehnpaard.hatenablog.com/entry/2022/10/24/193920 1.0 100%