camlspotter https://blog.hatena.ne.jp/camlspotter/ camlspotter’s blog https://camlspotter.hatenablog.com/ OCaml ほとんど個人的メモです。Identifier について。 型も値も structure 中では pos >= 0 の固有 id を持つ。このため、type t と let t = が存在しても混乱しない。 型は structure 中に同名の物は出現できない。リンク時にも値を作らない。よって、structure 外部には pos = -1 として export する。 値は structure 中に同名の物が複数出現してもよい。値を生成するため、structure 外部には coercion した後の pos >= 0 が付く。 外部からは t:-1 として見える型を、structure 中に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcamlspotter.hatenablog.com%2Fentry%2F20081117%2F1226926686" title=" ocamlc の極めて極めて内部的なこと - camlspotter’s blog" 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 2008-11-17 21:58:06 rich https://camlspotter.hatenablog.com/entry/20081117/1226926686 1.0 100%