型推論などの便利な機能と充実したライブラリにより一部に根強いファンがいる O'Caml ですが，3.05 がリリースされた様です．

主な変更点は

• 数多くのバグフィックス
• 書式付き入力用 Scanf モジュールの新設
• すべてのプラットフォームで 64 bit integer が利用可能
• ocamldoc が新たに配布ファイルに含まれるようになった

など色々です．
関数型プログラミングは，ちとくせがあるかと思いますが， Emacs でコードを書きつつ，ちょこっとずつ実行させながら動作を確認しつつ， 最後にネイティブコードを出力させるといった便利なプログラミングが出来るので， これを機にみなさん使ってみてはいかがでしょうか？