Ocaml

ソースファイルは1つじゃなくてもいい。次の例では，fact関数を定義している fact.ml と，それを呼び出す main.ml に分けている。…

OCamlにはない。…

OCaml のコンパイラには ocamlc と ocamlopt の二つがある。…

cf. Way of My Life - コラッツ予想…

どう書く？.org に投稿した。…

前エントリではモジュールの定義とシグネチャを与えるのを別にしたけど，いっぺんにすることもできる。というかその方が一般的なのかな。こんな感じ。…

前のエントリの例のようにシグネチャをコンパイラに推論させるのではなく，自分で書くこともできる。そのとき，モジュールの外部には公開したくない関数や，定義した型の詳細を隠蔽することもできる。一般には：…

モジュール（正確にはストラクチャ）の定義は次のようにして，struct と endo のあいだに各種定義の書く。…

モジュールの関数を使うときには[モジュール名].[関数名]とするけど，open宣言をすればモジュール名をつけなくても使えるようになる。…

出力も覚えたし書いてみた。…