活用事例

OCamlは既に様々な方面で応用されている実用言語です。それらの一例を紹介します。

ファイル同期ツール Unison

OCaml製のアプリケーションとして最も有名なもののひとつに、このUnisonがあります。 UnisonはLinux, MacOS, Windowsで動作する本格的なGUIアプリケーションで、ネットワーク越しに二つのフォルダの同期（差分を自動的に判断して更新してくれます）が可能です。CUIも備えているため、スクリプトとして利用することもできます。Unisonを使うためだけにOCamlをインストールしたという人も結構いるらしいです。

Spam振り分けソフト SpamOracle

OCamlのメイン開発者であるXavier Leroy謹製のスパム判定ソフト。 procmailのような転送ソフトと組み合わせて使い、スパムと判定されるメールにはスパムヘッダを付与してくれます。 Spamとそうでないメールはベイズ統計に基づいた方法で判定され、1000件程度の学習で実用上全く問題ないレベルまで振り分けてくれます。

FreeTennis

OCamlを使ったゲームもあります。本格的な物では例えば、FreeTennisは、高度なAIとリアルな3Dグラフィックが特徴のテニスシミュレータで、ネットワーク対戦までできます。

ついでに紹介しておくと、ocaml-nagoyaのogasawaraが作ったこんなものもあったりします。

Jane Street Capital

具体的なアプリケーションではありませんが、ニューヨークにあるJane Street Capitalという投資会社ではクォンツリサーチにOCamlを利用しています。OCamlでググると、OCamlプログラマー募集の広告まで出てきたりします。 また、PPLという学会で講演されたJane Street CapitalでのOCaml活用の話の記録が東北大学住井先生のブログで紹介されています。

• 社員150人のうちOCamlプログラマーが20人いて、ほとんどのプログラムをOCamlで書いている。
• "These languages are not academic toys"（これらの言語は研究用のおもちゃではない）
• "Functional languages give real values to people and companies"（関数型言語は、プログラマーや会社に価値をもたらす）

日本でもITプランニングという会社ではOCamlをメインに業務を行っているそうです（社員談）。