zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 今回は今まで散々参考にしてきたこの記事の内容に近い形でopen recursionを実装してみる： blag.bcc32.com 題材もまったく同一なのでパクリと言われても仕方ない・・・ 前回までの記事の内容を踏まえて少し整理したり、スタイルをいじったりしてあるくらい。もう一歩進めた（より継承チックな）実装も出来たが長くなるので次の記事に持ち越し。 まずはコード全体： module type GT = sig type t type ctor val create : ctor -> t val addressee : t -> string val greet : t -> string e… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F03%2F13%2F132652" title="open recursionなモジュールに型定義を持たせる（中） - 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-13 13:26:52 rich https://zehnpaard.hatenablog.com/entry/2021/03/13/132652 1.0 100%