camlspotter https://blog.hatena.ne.jp/camlspotter/ camlspotter’s blog https://camlspotter.hatenablog.com/ OCaml これは私用の覚え書きを適当に整形したもの(というか Sphinx で hatena 記法にしただけだけど)。だから他の人が読んで判るように全く書いていない。OCaml や ML のモジュールシステム、 value polymorphism、さらには relaxed value polymorphism、そして日本語を知っている人に、ならば何か役に立つかもしれない。多分地球上で数十人もいない。まあいいや。これ見てウヘェ、と思うなら例えば F# みたいな ML モジュールシステムを放棄して class 階層を採用した言語とか、 Haskell みたいな type class でモジュールを実現した… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcamlspotter.hatenablog.com%2Fentry%2F20110713%2F1310519801" title="Monad にしちゃう functor を通して今時の OCaml モジュールプログラミングを俯瞰 - 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 2011-07-13 10:16:41 rich https://camlspotter.hatenablog.com/entry/20110713/1310519801 1.0 100%