Objective Camlを使う | Netsphere Laboratories2003.04.29新規作成。2003.11.15加筆。 Objective Caml (OCaml) は関数型 (プログラミング) 言語のひとつ。関数型言語は, Java、Rubyなどのような手続き型言語と対比される。通常、手続き型言語やオブジェクト指向言語では、変数やオブジェクトの状態を更新していくことで目的の機能を実現する。関数型言語では、各関数は、関数に与える引数のみによって振る舞いが変わる（参照透明性）ように記述する。 Note. 関数型プログラミング言語としては、ほかに Haskell やClean が有力。これらの言語は遅延評価 lazy evaluation をサポートしており、いっそう強力。 Haskellで遊ぶ 参照透明性が確保されていれば、テストを行いやすく、信頼性の高いプログラムを書きやすい。 O'Camlは関数型言語でありながらオブジェクト指向機能を導入している。
