（まず始めに、 OCaml のファンクタは他の言語でいう「関数オブジェクト」としてのファンクタではありません。注意。） さて、ファンクタとはパラメータを取るモジュールのことです。多相型に似ているけれど少し違います。 C++ のテンプレートクラスに似てい…

少し間が空きました。 さて OCaml では型や変数や関数の定義を管理するための仕組みが備わっています。今時無い言語も珍しいですが。 まあなんていうか、普通にモジュールです。 C++ で言う名前空間に近いものです。 自分でモジュールを定義するには、以下の…