OCamlのLazyモジュールで遊んでみました。 とりあえず、lazy (OCamlの予約語) と Lazy.force だけ覚えておけばよさそうです。 lazy 'a -> 'a lazy_t *1。 'a lazy_t なる、文字通りlazyな型を作り出す。 Lazy.force 'a Lazy.t -> 'a。 Lazy.t (=lazy_t) の皮…

OCaml のモジュールシステムは強力ですよという話。関数が値を受け取って値を返すように、 functor は structure を受け取って structure を返す。 値 型 関数 let x : t = 〜 type t = 〜 let f (x : t) : t = 〜 structure signature functor module M : S…