次のコードがなぜエラーになるのかよくわからない。 module type RESULT = sig type result val v : result list end module Make (P : sig type t end) : RESULT (* with type result = P.t *) = struct type result = P.t let v : result list = [] end mo…

とかいう物がいつの間にやら設立されたらしい。 http://d.hatena.ne.jp/mkouhei/20081221#1229791257 http://d.hatena.ne.jp/jitsu102/20081221/1229809932 こんな物が出来るということは、だんだんとOCamlもメジャーになりつつあるということで、嬉しいこと…

来年早々、谷中から池ノ端に引越しします。 四年間、買い物交通至便＋ご近所の方々のよさもあって、夫婦二人にしては狭い所に住んでいましたが、さすがに狭すぎということで、引越しです。ようやくお客様をご招待しても恥ずかしくない広さになります。