agtn https://blog.hatena.ne.jp/agtn/ 右上↗ https://agtn.hatenablog.com/ コンパイラは大体，ソースコードを構文解析し，AST を作り，意味解析，コード生成という流れで実装されると思います． さて，AST は単純に書くと type expr = | Int of int | Add of expr * expr | Apply of expr * expr list | ... みたいな感じに書けると思います． これで確かにソースコードの syntax 上の余計な飾りをとっぱらった木構造になっているので抽象構文木としては十分機能します． 一方，既存のコンパイラを見ると，構文解析の後，型検査などの意味解析時にプログラムの不正を見つけた場合，きちんとソース上の位置を合わせ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fagtn.hatenablog.com%2Fentry%2F2015%2F12%2F29%2F232544" title="コンパイラ内部の AST 表現について - 右上↗" 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 2015-12-29 23:25:44 rich https://agtn.hatenablog.com/entry/2015/12/29/232544 1.0 100%