camlspotter https://blog.hatena.ne.jp/camlspotter/ camlspotter’s blog https://camlspotter.hatenablog.com/ OCaml 日本のOCaml界(と限定するのは失礼か)のホープ Nさんから recursive module の typing のバグに関する情報を頂いた。現在の OCaml の recursive module の実装では再帰型に関するコンパチビリティーを調べる際の展開(folding)が不十分なのではないかとのこと。確かにそういう挙動だ。G(arrigue)-polymorphism は関係なさそうだ。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcamlspotter.hatenablog.com%2Fentry%2F20080714%2F1216066632" title=" 続 Recursive module と class - 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-07-14 05:17:12 rich https://camlspotter.hatenablog.com/entry/20080714/1216066632 1.0 100%