zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml TaPL zehnpaard.hatenablog.com の続き。 前回は第１級モジュールを非常に綺麗に存在型に対応させられることが示せた。 しかし第１級モジュールを使わずとも、OCamlだとモジュールのシグニチャ自体が存在型的だ。（ただし微妙だが重要な差異もある） 今回はファンクタを通してシグニチャを使うことと存在型の関連について。 ファンクタ 「同じインタフェースを提供するモジュールに対してパラメトリックなコードを書く」という必要がある場合、第１級モジュールを使う手もあるが、OCamlでのより一般的な言語機構は「モジュールを引数にモジュールを返す『関数的なもの』」であるファンクタである。 前回に続… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F03%2F29%2F005358" 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-29 00:53:58 rich https://zehnpaard.hatenablog.com/entry/2021/03/29/005358 1.0 100%