OCaml 5.5 リリース
OCaml 5.5.0 がリリースされました。本バージョンでは、ランタイムのパフォーマンス改善やバグ修正に加え、新しいプラットフォーム対応が追加されています。詳細は公式ディスカッションをご参照ください。
背景メモ
OCamlは関数型・手続き型・オブジェクト指向を統合した汎用プログラミング言語で、特に型安全性と実行効率の高さから、金融システム、形式検証、コンパイラ開発などの分野で実績がある。メジャーバージョン「5.x」系は2022年に始まり、従来の「OCaml 4」からランタイムが全面的に刷新され、マルチコアCPUを活かす「ドメイン（並列実行単位）」と、軽量な並行処理のための「エフェクトハンドラ」という二つの大きな新機能が段階的に導入されている。
- 今回の5.5.0は2024年12月にリリースされたマイナーアップデートで、5.4からの累積的な改善版。
- 主な新要素は、ランタイムロックのさらなる除去による並列性能の向上、新しいガベージコレクション（GC）チューニングAPI「Gc.Memprof」の安定化、およびWindowsでのネイティブコード生成の正式対応。
- 言語自体に破壊的変更はほとんどなく、既存の5.xコードはそのまま移行可能。
- OCaml開発チーム（INRIAを中心とするオープンソースコミュニティ）が約3ヶ月ごとにリリースしており、エコシステム全体の安定化と実用性向上を継続している。