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で開発を行っている会社 [#k71fd65a]
:1.ITプランニング|
入門ocamlの著者のいる会社．サーバサイドプログラミングはほぼOCamlで行う．
入門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で書かれているそうだ。
*その他 [#kc42fcf8]
:1.MinCaml|
住井先生によるMLサブセット
![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
