開発●オープンソース
URL●http://caml.inria.fr/ocaml/

実に様々なソフトウエアが無料で利用できるようになっています。そこで，主に「ソフトウエアを作る環境を楽しくするお役立ちフリーソフト」を集めて，1日1本のペースでご紹介します。

図

　「Objective Caml（OCaml）」は，フランス生まれの言語で，関数型言語の一種です。「Caml」という関数型言語にオブジェクト指向の機能を持たせたものになっています。関数型言語といっても，Haskellのような純粋な関数型言語ではなく，手続き型言語のようなプログラミングも可能です。Haskellに比べると取っつきやすいといえるでしょう。

　また，OCamlは関数型言語としては比較的高速に動作するプログラムを生成します。Haskellと同じく強い型付けや型推論などの特徴を持っており，実行時エラーがとても少ない点も特徴です。公式Webサイトでは，Windows版のほか，LinuxやMac OS Xに対応する処理系も入手できます。