OCamlのフォーマッタで文字列化する方法 let spp pp_v () v = Format.fprintf Format.str_formatter "%a" pp_v v; Format.flush_str_formatter ()

OCamlの型が分からない場合に、推論結果が欲しくなった。 ググってもすぐ見つからない。ということでメモ。 ocaml -i a.ml > a.mli と書く。複数ファイルある場合は、 ocaml a.ml -i b.ml > b.mli

関数型言語といえばまず、Lispがありました。そして、SMLがありHaskellがあります。Cleanなんてのもありました。LispはCLOSというオブジェクト指向のCommon Lisp (CL) のオブジェクト指向プログラミング機能があります。CLOSはRubyに影響を及ぼしているよう…

去年は言語をずっと作ってました。 でもまぁ、結構迷走してたかも。・最初はLLVM向けのC言語でオブジェクト指向がある程度動くようにする。 ・型推論と型理論の研究成果を生かさなきゃと方針変更 ・MinCamlのシンタックスを変える方向性を探る。 ・多相型推…