OCaml のコンパイラには ocamlc と ocamlopt の二つがある。…
cf. Way of My Life - コラッツ予想…
同じことをHaskellで。Ordクラスのインスタンスにしたら sortByDic はただの sort ですんだ。…
前エントリではモジュールの定義とシグネチャを与えるのを別にしたけど，いっぺんにすることもできる。というかその方が一般的なのかな。こんな感じ。…
前のエントリの例のようにシグネチャをコンパイラに推論させるのではなく，自分で書くこともできる。そのとき，モジュールの外部には公開したくない関数や，定義した型の詳細を隠蔽することもできる。一般には：…
モジュール（正確にはストラクチャ）の定義は次のようにして，struct と endo のあいだに各種定義の書く。…
モジュールの関数を使うときには[モジュール名].[関数名]とするけど，open宣言をすればモジュール名をつけなくても使えるようになる。…
