OCamlのさらなる普及とユーザー間の幅広い交流を目指して、好評を博した昨年に引き続き、今年も OCaml Meeting 2010 を開催したいと思います。

OCamlの特徴は、なんといっても強力な静的型システムにあります。型安全性を保ちながら、構造的な部分型への変換、多相バリアント、再帰モジュールといった柔軟な設計とプログラミングを実現できる仕組みを持っている言語は類がありません。加えて、定理証明支援器Coqとの連携による高信頼化、多くのCPUアーキテクチャに対応した高速なネイティブコードを出力できるコンパイラ、C言語へのバインディングによる過去資産の継承など、実用的な機能も兼ね備えています。このようなOCamlの特徴と、それらがフランスINRIA国立研究所によって安定して提供されているという運用体制は、ソフトウェアの不具合を減らし、社会インフラとしてのコンピューターシステムの品質を向上させるものと信じています。

嬉しいことに、近年関数型言語が話題になってくると共にOCamlも注目を集めています。OCamlをベースに開発されたMicrosoft F#も4月にリリースされ、システム開発の現場においても再認識がなされています。6月には第一級モジュールなど多くの新機能が実装されたVersion3.12のリリースも予定されています。このような話題豊富な流れの中で、今年はOCamlの主要開発者の一人、Jacques Garrigue 氏にご協力を頂けることになり、氏の活動拠点でもある名古屋での開催を決定しました。地理的に日本の中央に位置するこの場所で、OCamlホビーユーザーからプログラマ・研究者に至るまで、より幅広い交流を目指していきたいと考えています。（小笠原）