活用事例

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

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

LexiFi

LexiFi?はフランス・パリにあるソフトウェア開発会社の名前であり、金融商品の統合開発環境のブランド名でもあります。彼の金融向けアプリケーションはOCamlやHaskellで作成されています。また、複雑な契約をコンビネーターーから構築できるMLFiという専用言語もOCamlで作られています。

[参考リンク]

• http://www.lexifi.com/
• http://www.lexifi.com/downloads/frisch_inria_2008-12-15.pdf

XenServerのツールスタック

有名な仮想化サーバーXenのツール群は13万行にも及ぶOCamlにて作成されています。これらは有償のソフトウェアです。

[参考リンク]

• http://www.citrix.com/
• http://www.citrix.com/English/ps2/products/feature.asp?contentID=1686939
• http://caml.inria.fr/pub/ml-archives/caml-list/2009/11/d80201600e5f91fbe48ce4856c034a71.en.html
• http://ocamlnews.blogspot.com/2010/06/using-functional-programming-within.html

omake

OCamlで書かれた汎用ビルドシステムで、better makeとして広く利用されています。本格的なプログラミング言語であり、.mlファイルだけで約9万行あります。

[参考リンク]

• http://omake.metaprl.org/

OPA

MLstateというフランスパリにある会社の製品で、OCamlで作成されたWebアプリケーション開発プラットフォームです。Webサーバー・DBなどを内蔵し、クライアントブラウザの操作をサーバーサイドロジックとシームレスに開発できます。

[参考リンク]

• https://www.mlstate.com/wiki/admin/products_corp
• http://ocamlnews.blogspot.com/2010/06/ocaml-in-industry-2007-2010.html

Coherent PDF Command Line Tools

Windows, Mac, Linuxで動作するPDFの作成/編集製品です。高品質なOCaml用基礎ライブラリも公開されています。

[参考リンク]

• http://www.coherentpdf.com/
• http://www.coherentpdf.com/ocaml-libraries.html

Jane Street Capital

ニューヨークに本社がある投資会社で、クォンツリサーチに全面的にOCamlを活用しています。coreという名前のユーティリティライブラリなど多数の高品質なフリーソフトウェアを公開しています。

[参考リンク]

• http://www.janestcapital.com/
• http://ocaml.janestcapital.com/?q=node/13

ファイル同期ツール Unison

OCaml製のアプリケーションとして最も有名なフリーウェアのひとつです。UnisonはLinux, MacOS, Windowsで動作する本格的なGUIアプリケーションで、ネットワーク越しに二つのフォルダの同期（差分を自動的に判断して更新してくれます）が可能です。

[参考リンク]

• http://www.cis.upenn.edu/~bcpierce/unison/