OCAML
プログラミング言語の研究者は、OCaml、SML、Haskell などの静的型付けされた関数型プログラミング言語が、現在使われている最も効果的なプログラミング・ツールの一つとみなしてきました。しかし、こうしたプログラミング言語は、コンパイラ開発や形式手法のような限られた分野に限定されてきました。
しかし、Jane Street は例外です。激しい競争の中、現在有効な最も効果的なツールを使うしかないと判断し、この結果、今では OCaml を商業的に活用している最大のユーザーとなりました。このような状況下、Jane Street は、世界中から関数型プログラマーを引き付ける存在となり、世界でも有数の開発チームを擁するまでになっています。
OCaml を使用するだけではなく、Jane Street は、OCaml コミュニティの支援者でもあり、OCaml サマー・プロジェクトを開催しています。また、OCaml に関するテクニカル・ブログを執筆しており、自身のソフトウェアの一部についてはオープンソース・ライセンスで公開しています。
Jane Street がどのように OCaml を利用しているのかについてより詳しく知りたい方は是非 ブログをご覧ください。また、CUFPでの講演スライド,JFP や Monad Reader に寄稿した原稿もご覧になれます。Jane Streetはこれまでに、関数型プログラミングの分野における著名研究者による講演会を開催してきました。
これまでに、講演して頂いた方々:
- Don Syme(マイクロソフト・リサーチ)
- Alain Frisch(フランス国立情報学自動制御研究所:INRIA)
- Benjamin Pierce(ペンシルバニア大学)
- Philip Wadler(エジンバラ大学)
- Olin Shivers(ノースイースタン大学)
