【激突】関数型言語　VS　オブジェクト指向言語2

【激突】関数型言語　VS　オブジェクト指向言語2at TECH

【激突】関数型言語　VS　オブジェクト指向言語2 - 暇つぶし2ch181:営利利用に関するLR審議中＠詳細は自治スレへ
12/04/10 08:24:34.70
>>179
OCamlで高階ファンクター
F　はモジュール　X,Y　を引数にして新しいモジュールを返す

module　type　S　=　sig　end
module　type　T　=　sig　end

module　F　(X　:　S)　(Y　:　T)　=
struct
　　include　X
　　include　Y
end

次ページ