提出したものに不備があったようで結果的に大幅に遅れてしまいました． 関係者の方々には非常に申し訳ないです．

先日 OCaml で存在型を実装する方法を紹介したが， 前回の例はあまり面白くないものだったので， こちらの記事にある存在型に対して同様の実装をしてみることにする． この記事にもあるように存在型は module として実装することも可能である （こちらの方が…