(************************************************************ escape_abstract.ml Created : Fri Sep 20 01:22:43 2002 Last modified: Fri Sep 20 01:30:40 2002 Compile: ocamlopt.opt -i escape_abstract.ml -o escape_abstract # ************************************************************) (** Local Module はあったりするのだけれど....。 @author Takashi Masuyama *) let friends_list = [ "mamewo"; "tak"] let escape_abstract_data () = let module S = Set.Make(String) in (* Stringは用件を満たしているよ *) S.empty (* 抽象型のEscape あれ? Set.Make(String).t とかいってる ... *) let _ = let module H = Set.Make(String) in H.iter (fun x -> Printf.printf "%s\n" x) (H.add "hoge" (escape_abstract_data ()))