zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 言語処理系 前回に続いてA正規化の話。前回のミニマルな言語にブール型とifによる条件分岐を加える。実は条件分岐の正しいA正規化に関しては曖昧性があるようなので、後半はその話。 言語拡張 ASTに以下を追加： type t = ... | Bool of bool ... | Lt of t * t ... | If of t * t * t Ltは「未満」。(if (< x 5) 5 x))のような形で使う。 α変換は簡単： let rec g env e = match e with ... | A.Bool _ -> e ... | A.Lt(e1,e2) -> A.Lt(g env e1, g en… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F03%2F14%2F013607" title="条件分岐のある言語のA正規化 - 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-03-14 01:36:07 rich https://zehnpaard.hatenablog.com/entry/2022/03/14/013607 1.0 100%