camlspotter https://blog.hatena.ne.jp/camlspotter/ camlspotter’s blog https://camlspotter.hatenablog.com/ OCaml よいこは読んではいけません。Obj.magic の話です。よいこは寝てください。、、、、、、、、、はい、悪い子しかいませんね。じゃあ、Obj.magic の話をしましょう。Obj.magic は関数なので、適用された結果は expansive です。なので、結果が polymorphic に出来ませんでした: # (Obj.magic 0 : ('a -> 'a) option);; - : ('_a -> '_a) option = Noneほんとは ('a -> 'a) option にしたいのに、、、関数じゃないからエータ変換もできない。 OCaml の型システムで遊ぶときって、無理矢理… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcamlspotter.hatenablog.com%2Fentry%2F20090312%2F1236853256" title=" (relaxed) value restriction を回避する pure magic - 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 2009-03-12 19:20:56 rich https://camlspotter.hatenablog.com/entry/20090312/1236853256 1.0 100%