zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 最近のopen recursion関連記事を書いていてふと思い出したのがこちらの記事： camlspotter.hatenablog.com モジュールを使ったプログラミングではプログラマが情報を必要以上に減らしたモジュール型を書いてしまって 型の同値性が知らず知らずに失われてしまう、ということが、ままある。 そしてこちら： no-maddojp.hatenablog.com gist.github.com 今回はこちらについて修正方法を挙げたりしながらつらつらと考えてみたい。 OCamlのモジュールは型を抽象化して隠蔽することができる。この機能は「実装はただの文字列だけど型システム的に『サニ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F03%2F15%2F122922" title="OCamlのモジュールシグニチャ隠蔽しすぎてしまいがち問題 - 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 2021-03-15 12:29:22 rich https://zehnpaard.hatenablog.com/entry/2021/03/15/122922 1.0 100%