Thanks to Gemma!
OCamlで開発されたソフトウェア[http://ocamlnews.blogspot.com/2007/12/top-10-most-popular-ocaml-programs.html]
■ 有名なOCamlプログラムTop10
- 1.FFTW
- FFTWはまぎれもなく世界最速なフーリエ変換の実装である。
MATLABなど多くの商用アプリケーションで使われている。無料で利用でき、ほとんどすべてのLinuxディストリに同梱されている。FFTWライブラリを構成するFFTルーチンは、OCamlが生成したC言語のコードからできている。(このOCamlプログラムはgenfftという。)
- 2.Unison
- Unisonはファイル同期ツールである。Unix用とWindows用がある。
ファイルやディレクトリ群の複製が、別のホスト(あるいは同じホストの別のディスク)に置いてあるとする。各々に変更をする。すると、それぞれの変更を複製同士で伝えあってくれて、最新にすることができる。
- 3.MLDonkey
- MLDonkeyは、オープンソースなeDonkey2000クライアントである。
P2Pのファイル共有ができる。Linux, Unix, Solaris, MacOSX, MorphOS, Windowsで動く。
- 4.Planets
- Planetsは、惑星系をシミュレートして遊べる、簡単で対話的なプログラムである。
GPLで配布されている。LinuxとWindowsで動く。
- 5.Hevea
- Heveaは、高性能なLaTeX→HTML変換器である。
- 6.FreeTennis?
- FreeTennis?は、テニスシミュレータである。高度なAIとリアルな3Dグラフィックが特徴。
- 7.LEdit
- LEditは、bashやtcshなどのシェルで動くプログラムに、行編集機能を加える。
(訳者註: ledit ocaml、ledit gosh -i などが便利です。)
- 8.Polygen
- Polygenは、自然な文章を生成する高度なプログラムである。文法定義および構文&字句ルールをユーザが与える。
- 9.MTASC
- MTASCは、世界初のオープンソースActionScript2コンパイラである。
- 10.ADVI
- ADVIは、DVIファイルのビューワ、プレゼンタである。
DVIに視覚エフェクトを記述できるようになっていて、手の込んだプレゼンがノートPCでできる。
OCamlで開発を行っている会社 †
- 1.ITプランニング
- 入門OCamlの著者のいる会社.サーバサイドプログラミングはほぼOCamlで行う.近頃はOCamljsで作成したアプリを納品した。
- 2.Jane Street Capital
- 社員150人、うちOCamlプログラマ20人。OCamlは「窓際」ではなく中心。取り引きシステムからGUIまで、ほとんどのプログラムをOCamlで開発している。
とのこと。素晴らしい。
http://d.hatena.ne.jp/sumii/20080113/p1
Jane Street Capital (proprietary trading company)でのOCaml利用事例。
- 3.合同会社フィールドワークス
- PDF帳票開発ツール Field ReportsはOCamlで書かれているそうだ。
- 1.MinCaml?
- 住井先生によるMLサブセット