OCaml Weekly News

皆さん、こんにちは。

opam 2.5.2 が公開されました。このリリースでは以下の問題が修正されています：

• セキュリティ上の問題（OSEC-2026-10）
• dune を使用するクロスコンパイルパッケージが正しくインストールできない 2.5.1 からのリグレッション（ocaml/dune#14393）

できるだけ早く 2.5.2 へのアップグレードをお勧めします。

お使いのディストリビューションの古い opam パッケージに依存している場合、Debian Stable などのディストリビューションのメンテナーには既に通知済みであり、関連する修正のバックポートが近いうちに提供される予定です。

詳細とリンクについては、ブログ記事をご覧ください。

ocaml-wire 1.0.0 が opam に登録され、opam install wire でインストールできるようになりましたことをお知らせします。

このリリースでは、前バージョンからの堅牢性の修正と API のクリーンアップが行われています（そのため 1.0.0 というタグが付いています）。また、OCaml のパーサー/シリアライザーと生成された検証済み C パーサーの間での差分テストが大幅に追加されました。両者はランダムに生成されたスキーマとランダムな入力バイト列に対して実行され、テストでは受け入れるまたは拒否する内容、およびデコードした値が一致するかどうかを確認します。不一致が見つかった場所にはすべてバグがあり、現在はすべて修正されているようです。

しかし、これらを符号付き整数や浮動小数点数としてどのように解釈するのでしょうか？それは上位レイヤーに任されているのでしょうか？

EverParse 3D には符号付きや浮動小数点型はなく、符号なし整数のみです。したがって C バリデーターにとって int8 は UINT8 であり、float64 は UINT64 です。OCaml デコーダーが再解釈を行います。符号付き型には 2 の補数、浮動小数点には IEEE 754 を使用し、プレーンなフィールドに対しては両側があらゆるビットパターンを受け入れます。フィールドへの制約（ユーザーが DSL 経由で追加したもの）は、その投影を経ても有効でなければなりません。符号付きの順序制約は、C バリデーターに到達する前に 2 の補数の等価式に書き換える必要があります。なぜなら、符号ビットが立っているバイトに対して素朴な符号なし比較を行うと結果が異なるからです（バイト 200 は符号付きの値 -56 であり、OCaml では受け入れられますが、素朴な C の境界では拒否されます）。浮動小数点の有限性（is_finite、is_nan）は指数ビットへのテストにコンパイルされ、忠実な符号なし表現を持たない浮動小数点の順序制約は事前に拒否されます。この差分ファジングによって符号ビットの不一致が明らかになり、0.9 から 1.0 の間でこれらすべてが強化されました。

ゼロコピー読み取りも安全になりました。Codec.validate は Codec.decode が行うすべてのチェック（enum のメンバーシップ、境界、パディング、where 節）を強制するようになったため、信頼できない入力を検証してからゼロコピーの Codec.get 呼び出しのバッチを行う場合、デコーダーが拒否したであろうバイトを信頼することがなくなりました（こちらも差分テストで検出されました）。

生成された .3d ファイルもプロトコルの仕様書として非常に読みやすいことが判明しました。ひとつの codec ファミリー全体が単一の .3d ファイルに射影され、その .3d ファイルは仕様書としても機能し、FFI なしのスタンドアロンな検証済み C パーサーにコンパイルされます。TCP/IP スタックはよい比較例です：OCaml の定義と生成された 3d ファイルをご覧ください。

Caqti 3.0.0 のリリースをお知らせします。このリリースでは、階層的モジュールへの移行を含むいくつかの破壊的変更が含まれています。Caqti 3 の API は主に caqti.template プレビューライブラリと Caqti 2 API の残りのモジュールの再編成です。

リリースノート：

• caqti ライブラリには Caqti 3 API が含まれ、caqti.classic には Caqti 2 互換ラッパーが含まれます。Caqti 2 API のユーザーは、 リンク行に caqti.classic を追加する必要があります。Caqti 3 API の早期採用者は caqti.template を caqti に置き換え、一部の モジュールパスを調整する必要があります。新しい API への移行が推奨されますが、 既存アプリケーションに対しては段階的に行うことができます。
• 行のフォーマット時の先頭のカンマを修正しました。 Caqti_type.pp_value（Caqti 2）および Caqti.Template.Row.pp（Caqti 3）に影響します。
• issue #140 により、 caqti-dynload パッケージの非推奨化を保留しました。
• SQLite では外部キー制約がデフォルトで有効になりました。

opam でリリースしているプロジェクトは、次回リリース前にリンク行に caqti.classic を追加する（または API を移行する）こと、および必要に応じて caqti の下限を 2.3.0 に引き上げること（前回のお知らせを参照）をお勧めします。

ocgtk 0.1-preview2 が opam で公開されました

このリリースでは生成される機能の量が大幅に増加し、生成ライブラリ（GTK、Gio、Pango、Cairo、GDK、GDKpixbuf、Graphene）で利用可能なクラスとメソッドの大部分をカバーしています。