OCaml

モジュールにシグネチャを与える方法

プログラミング in OCaml メモ

モジュールにシグネチャを与えるのに、いろいろな書き方があるということで、整理したみた。

1) 方法1

# module 新モジュール名 : シグネチャ名 = 元モジュール名;;

2) 方法2

# module 新モジュール名 : シグネチャ名 =
    struct
      (モジュール定義)
    end

3) 方法3

# module 新モジュール名 :
    sig
      (シグネチャ定義)
    end
  =
    struct
      (モジュール定義)
    end

4) 方法4

# module 新モジュール名 = (元モジュール名 : シグネチャ名);;

5) その他

方法4の、元モジュール名、シグネチャ名を、それぞれ定義文を記述してもよい。