ソースファイルは1つじゃなくてもいい。次の例では,fact関数を定義している fact.ml と,それを呼び出す main.ml に分けている。…
OCaml のコンパイラには ocamlc と ocamlopt の二つがある。…
cf. Way of My Life - コラッツ予想…
同じことをHaskellで。Ordクラスのインスタンスにしたら sortByDic はただの sort ですんだ。…
モジュール(正確にはストラクチャ)の定義は次のようにして,struct と endo のあいだに各種定義の書く。…