Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記

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に影響を及ぼしているようです。 SMLからCa

[gnarl]

[langimpl[blog]