Objective Caml 入門

2 Objective Caml 入門

別に配布するテキストを参照のこと．以下は，テキストからの Objective Caml 言語に関する記述の一部抜粋である．

2.1 Objective Caml とは

プログラミング言語 ML は，元々は計算機による証明支援系から発展してきた言語¹ で，関数型プログラミングと呼ばれるプログラミングスタイルをサポートしている．MLは核となる部分が小さくシンプルであるため，プログラミング初心者向けの教育用に適した言語であると同時に，大規模なアプリケーション開発のためのサポート(モジュールシステム・ライブラリ)が充実している．MLの核言語は型付きλ計算と呼ばれる，形式的な計算モデルに基づいている．このことは，言語仕様を形式的に(数学的な厳密な概念を用いて)定義し，その性質を厳密に「証明」することを可能にしている．実際，Standard ML という言語仕様[5]においては，(コンパイラの受理する)正しいプログラムは決して未定義の動作をおこさない，といった性質が証明されている．

この実験及演習で学ぶのは ML の方言である Objective Caml という言語である． Objective Caml は INRIA というフランスの国立の計算機科学の研究所でデザイン・開発された言語で，Standard ML とは文法的には違った言語であるが，ほとんどの機能は共有している．また，OCaml では Standard ML には見られない，独自の拡張が多く施されており，関数型プログラミングだけでなく，オブジェクト指向プログラミングもサポートされている．またコンパイラも効率的なコードを生成する優れたものが開発されている．

2.2 ML (Objective Caml) の特徴

ML (Objective Caml) の特徴としては，以下のようなものが挙げられる．

高階関数(higher-order function)の導入により，関数を他の関数への引数として渡したり，計算結果として受け取ることができる，
パターンマッチング(pattern matching) による，より宣言的なプログラミングのサポート
静的型システム(static type system)による安全性の保証
多相型システム(polymorphic type system)により，プログラム中の一つの式に，複数の型を割り当てることが可能になり，コード再利用性が高まる．
型推論(type inference) により，煩雑な型宣言を省略できる．
強力なモジュール・システム(module system)により，大規模プログラミングに必要な分割コンパイル(separate compilation) や，抽象データ型(abstract data type)による，プログラム部品間の情報隠蔽・言語に新たな基本データ型を加えるようなプログラミングが可能になる．また，ファンクタ(functor)と呼ばれる， パラメータを持つモジュール(parameterized module)により，再利用性の高い，大規模プログラミングがサポートされる．
ごみ集め(garbage collection)により，自動メモリ管理が行われるため，プログラマは C 言語の malloc/free などを使ったメモリ管理のように頭を悩ませる必要がない．
対話的にプログラム開発ができるインタラクティブ・コンパイラと，ソースコードを一括して実行形式に変換するバッチ・コンパイラが利用できる．
関数型プログラミングを核とした言語に加えてのオブジェクト指向プログラミングの導入．(Objective Caml独自の特徴)