OCaml Weekly News

このリリースの新機能の一部は、まだ不安定な caqti.template ライブラリを通じてのみアクセス可能であることに注意してください。これは近い将来、Caqti 3 API の一部として安定化される予定です。モジュール名の変更により、caqti.template に切り替えても将来の互換性は保証されません。代わりに、Caqti 3 への移行を容易にするため、新しい caqti.classic を依存関係に追加することをお勧めします。

• caqti ライブラリのエイリアスとして caqti.classic を追加しました。Caqti 3 がリリースされる際には、現在の Caqti 2 API との互換性を提供するライブラリに変換されます。段階的な移行を可能にするため、2 つの API を並行して使用できます。
• caqti.template の MariaDB 向けダイアレクト記述子がサーバーバージョンを提供するようになりました。
• caqti.template ライブラリに Query.parens、Query.litf、Query.vars、Row_type.fields を追加しました。
• パラメトリック型をアプリカティブにインスタンス化できるよう、行型を作成するためのインターフェースを改訂しました。この変更以前は、パラメトリック型を表す関数を適用するたびに、同じ型パラメータ引数に適用されても新しい型 ID が生成されていました。このインターフェースの中心は Caqti_template.Constructor_type モジュールです。
• リクエストテンプレートに渡されるクエリ関数がメモ化されるようになり、ダイアレクトごとに一度だけ呼び出されます。これは最適化を意図したものですが、ここで副作用を避けるのは依然として良い実践です。
• 新しい関数 Query.with_pos_of により、クエリジェネレーターが構文ツリーにソース位置を追加できるようになりました。enable_query_annotations が設定されている場合、これはクエリ文字列に SQL コメントとして出力されます。クエリがアプリケーションコードの異なる部分から組み立てられる場合のデバッグが容易になります。
• まだ不安定な caqti.template ライブラリが、1 つのリクエストテンプレートで複数のステートメントをサポートするようになりました。許可されている場合は、1 つのクエリとして積極的に送信されます。これはまだ実験的です。
• sqlite3 の shim ルールのパッケージスコープを修正しました（#133、mefyl による）。
• SQLite3 ドライバーのエラー分類を修正しました（#132）。
• PostgreSQL の接続断後の再接続を修正しました。

• --diff-command の動作を 3.21 の挙動に戻しました。存在しないファイルは /dev/null に置き換えられるのではなく、このコマンドに渡されるようになりました（#14098、13891 を修正、@rgrinberg）

最初の実験で、MirageOS unikernel でメールを処理できることがすでに示されていました。しかし、メモリリーク、セキュリティの脆弱性、ビルドの問題など、実際の制限にも直面しました。

そこでゼロから再スタートし、OCaml 5 とエフェクトを完全に活用する機会としました。主要な部分を再構築しました：

• 新しいエフェクトベースのスケジューラ：Miou/Mkernel
• より完全な TCP/IP スタック：Mnet
• 新しい FAT32 ファイルシステム：Mfat

ptt はこの新しいスタック上に構築されており、今のところメモリリークは観察されていません（メモリ使用量のトレースにmkernel-memtraceを使用し、memtrace-viewerで閲覧可能）。mirage-tcpip に関連する CVE は mnet の開発中に考慮され、ビルドの仕組みもはるかにシンプルになりました。GitHub action でビルドし、実際に unikernel を実行してテストできます。mnet で確認できます。

このアプローチを使った他の unikernel も利用可能です。興味がある方は、OCaml で unikernel を作成するこのチュートリアルをご覧ください。

ptt はデプロイの問題にも取り組んでいます。ptt の「ステートレス」な側面を紹介する記事があります。また、セキュアな unikernel オーケストレーター[Albatross](github.com/robur-coop/albatross)と、unikernel をデプロイするための web インターフェース（それ自体が unikernel です）Mollymawkを（再）紹介したいと思います。

より広く言えば、これが私たちの協同組合が取り組んでいることです。開発者であれデプロイ者であれ、ユーザーエクスペリエンスを向上させることを本当に望んでいます。私たちの unikernel を実際に開発・デプロイ・使用することが、より広く採用してもらうための唯一の方法だと信じています。ぜひこれらのプロジェクトもフォローしてください！

この過程で、メールのライフサイクルのすべての段階を追跡できるツールを持つことが非常に役立つことがわかりました。それがblazeが生まれた経緯です：メール処理のためのスイスアーミーナイフです。

まだ実験的ですが、すでに以下のことができます：

• アーカイブシステムの使用（生成、読み取り、インデックス作成など）
• mbox や maildir などの他のアーカイブの処理
• POP3 プロトコルによる通信
• メールの署名と検証（DKIM と ARC）
• コマンドラインからのメール構築
• メールの送信
• 小さなローカル SMTP サーバーの実行

blaze はライブラリ API を反復し、実装を検証する方法です。実験的ですが、徐々に完全なメールクライアントへと成長しています。

このすべての作業のおかげで、OCaml にはメール関連プロジェクトの充実したセットが整いました。この旅は 2016 年に始まり、まだ長い道のりがあります。私たちは常に堅牢でバトルテスト済みのソリューションを提供することを目指しているからです。他の言語のいくつかの実装とは異なり（Rust コミュニティの人々とは議論中ですが）、私たちの実装は実際に標準に準拠しています！

大したことではないように見えるかもしれませんし、単にメールを交換するだけでは大きな違いは感じられないかもしれませんが、このアプローチがより良いインターネットへの道を開くと信じています。unikernel の形で、これは通信手段の真の取り戻しを表しています！

アップグレードの手順は変わっていません：

Unix システムの場合

bash -c "sh <(curl -fsSL https://opam.ocaml.org/install.sh) –version 2.5.1"

Windows システムの PowerShell から

Invoke-Expression "& { $(Invoke-RestMethod https://opam.ocaml.org/install.ps1) } -Version 2.5.1"

問題が発生した場合はバグトラッカーに報告してください。

Happy hacking,

<> <> The opam team <> <> :camel:

すでにいくつかの取り組みを開始しています：

• OCaml Weekly News - 日本語版：https://ocaml.jp/cwn-ja/ で OCaml Weekly News の日本語訳を公開しています。日本語話者の方々が OCaml エコシステムの最新情報をより簡単に把握できるようにするためのものです。
• 東京での OCaml ミートアップ（2026年8月）：今年8月に東京で OCaml ミートアップを開催する準備をしています。10年以上ぶりの開催です！詳細は近日公開予定です。ご期待ください！

主な連絡手段として Discord を使用しています。日本在住の方、世界中の日本語話者 OCaml 愛好家の方、または単純に日本の OCaml コミュニティとつながりたい方、ぜひご参加ください！

Discord への参加はこちらのリンクから：https://discord.gg/qQTbny8KF4

一緒に活気ある日本の OCaml コミュニティを築いていきましょう。よろしくお願いします！

近日公開予定のリリースでは、以下のように書くこともできます：

module type M = [%mixins Map.OrderedType + Printable]
(* desugars to *)
module type M = sig 
   type t 
   include Map.OrderedType with type t := t
   include Printable with type t := t
end

他の型をオーバーライドすることもできます。例えば：

type u [@@mixins Mappable(key = int; value := v)]
(* desugars to *)
type u
include Mappable with type t := u and type key = int and type value := v

• パラメトリック型のサポートなし（例：with type 'a u = 'a v）
• タプルおよび関数型のサポートなし（例：with type t = int -> bool）

これはプリプロセッサがペイロードを式としてパースするためで、これらは式として綺麗にパースされません。 型パラメータを持つ mixin などのより深いサポートには、おそらく言語レベルのサポートも必要になるでしょう。

libA が libB に依存している場合、Dune は libA のすべてのモジュールに libB のすべての .cmi ファイルへのグローバルな依存関係を与えます。libB の任意の .cmi が変更されると、libA のすべてのモジュールが再コンパイルされます。たとえ libB を参照しないモジュールであっても。

多くのライブラリを持つプロジェクトでは、これが不必要な再コンパイルの連鎖を生み出します。この問題を追跡している issue #4572 は 2021 年から開いています。

Dune はすでに ocamldep を実行してライブラリ内のモジュール依存関係を計算しています。重要な洞察：同じ出力がエントリモジュール名を通じて各モジュールがどのライブラリを参照しているかを教えてくれます。これを使って、ビルド依存関係と -I~/-H~ コンパイラフラグの両方をモジュールごとにフィルタリングできます。

実装（PR #14116 と PR #14186）は以下のように動作します：

1. 各モジュールとそのライブラリ内のトランジティブな依存関係について、ocamldep の出力（.ml と .mli の両方）を読み取ります
2. -open フラグを含む参照されたすべてのモジュール名をユニオンします
3. それらの名前を Lib_index を通じてライブラリにマッピングします
4. Lib.closure を通じてフィルタリングされたライブラリセットをトランジティブにクローズします
5. hidden deps と -I~/-H~ コンパイラフラグの両方に結果を使用し、requires_compile のメンバーシップに基づいて直接（-I 経由で可視）と hidden（-H 経由）に分割します

deps とフラグの両方がフィルタリングされると、モジュールが宣言していないライブラリを参照するとクリーンビルドが失敗します。以前は過度に広い -I フラグがそのようなエラーを隠してしまっていました。

最初の試み（PR #14021）では、十分なテストカバレッジなしに単一の PR でフィルタリングを実装しようとしました。レビューで、私が予期していなかったエッジケース（特に透過的なモジュールエイリアスと仮想ライブラリ）でアプローチが脆弱であることが判明し、クローズされました。

透過的なモジュールエイリアス。 OCaml のモジュールエイリアスメカニズムにより、ocamldep はモジュールがトランジティブに依存するすべてのライブラリを常に報告するわけではありません。libB に module M = LibC.Something があり、libA のモジュールが LibB.M を使用している場合、ocamldep は LibB を報告しますが LibC は報告しません。修正：Lib.closure を使ってフィルタリングされたライブラリセットをトランジティブにクローズし、コンパイルコンテキストで境界を設けます。

ルートモジュール。 (root_module) スタンザはコンパイルコンテキスト内のすべてのライブラリを暗黙的にエイリアスするモジュールを作成します。ocamldep がルートモジュールへの参照を報告する場合、実際にどの基礎ライブラリが必要かを判断できないため、完全な依存セットにフォールバックします。

仮想ライブラリ。 コンパイルコンテキストに仮想ライブラリの実装が存在する場合、パラメータライブラリが requires_compile に現れないことがあり、フィルタリングでそれらが欠落する可能性があります。これも別のフォールバックケースです。

Menhir で生成されたモジュール。 これらのモックモジュールは ocamldep の依存グラフに含まれないため、それらに対してはフィルタリングをスキップします。

null ビルドのオーバーヘッド。 フィルタリングは .d ファイルを読み取り、モジュールごとにライブラリクロージャを計算します。新しい dune プロセス（メモキャッシュなし）では、これは変更がなかったビルドを含むすべてのビルドで新しい作業になります。これは本物のトレードオフです：null ビルドのオーバーヘッドを代償に、インクリメンタルリビルドのパフォーマンスが向上します。

実装 PR の前に、既存の動作を文書化し安全ネットを確立するためにテストのみの PR を 6 つ提出しました：

• #14017 — 現在のライブラリ間再コンパイル動作を文書化するベースラインテスト
• #14031 — スタンザとライブラリ間のモジュール名シャドウイングを文書化するテスト
• #14100 — コンパイルルールとサンドボックスビルドにおけるライブラリファイル依存関係を検証するテスト
• #14101 — 透過エイリアスのインクリメンタルビルドの安全性を検証するテスト
• #14129 — エイリアスを再エクスポートするライブラリでのインクリメンタルビルドを検証するテスト
• #14178 — 透過エイリアスチェーンでの ocamldep の動作を文書化するテスト

これにより実装 PR の diff が実際の変更に集中できるようになり、レビュアーに既存の動作が保持されているという確信を与えました。また、最初の試みでつまずいたエッジケースを理解するのにも役立ちました。

Dune のメンテナー（@rgrinberg と @art-w）は、徹底的で建設的なレビューを提供してくれました。いくつかのハイライト：

• 手作りのトランジティブクロージャを既存ライブラリの Lib.closure に置き換える提案 — 私が Dune の内部に慣れ親しんでいなければ見つけられなかったより洗練されたアプローチ
• インターフェースが実装とは異なるライブラリを参照できるため、.ml と .mli の両方の ocamldep 出力を読む必要があるという指摘
• クリーンビルドをより精密にしキャッシングを改善するモジュールごとの -I~/-H~ フラグフィルタリングの提案
• すべてのフォールバックケースと特殊なモジュール種類への質問、よりシンプルなコードにつながりました

PR はレビュー中に大幅なリファクタリングが行われました。最終バージョンは最初の提出よりかなりタイトになっています。

全体的にこの作業は良い経験でしたが、いくつかの摩擦があった点がありました：

マージ前にベンチマークする方法がない。 null ビルドのオーバーヘッドの問題はプロセスの後半で浮上しました。手動ベンチマークにより、この変更が null ビルド時間を約 70% 増加させることを発見しました。これは重大なリグレッションです。Dune のベンチマーク CI ワークフローは PR ではなく main へのプッシュ時にのみ実行されます。コントリビューターがアクセスできるパフォーマンスツールがあれば、リグレッションがランドする前に検出できるでしょう。

レビューの勢い対リベース。 テスト PR は素早くマージされましたが、実装 PR は数日間にわたって複数のレビューラウンドを必要としました。ラウンドの合間に main が前進し、競合を引き起こす可能性のあるリベースが必要になります。コントリビューターはブランチを新鮮な状態に保つ負担を負います。PR が互いに依存している場合、これはさらに複雑になります。#14116 のすべてのリベースに #14186 のリベースも必要でした。GitHub は PR スタックのファーストクラスサポートを持っていないため、これは手動で誤りが生じやすいです。もちろん、すべての GitHub ホストリポジトリがこの問題を抱えています。

不安定な CI。 私のコードとは無関係なエラーが多くの CI 実行で発生しました。多くの場合、一時的に到達不能または障害が発生した OCaml パッケージの上流プロバイダーが原因でした。これらの問題はしばしば自然に解決されましたが、PR のライフタイムに 1 日遅延を引き起こしました。問題は CI ジョブで何度も繰り返し実行されるセットアップコードに起因しています。

Dune コードベースはよく構造化されており、ビルドエンジン、ルール生成、スケジューラが明確に分離されています。品質も高く、品質維持に費やされた時間が価値あるものに感じられます。

cram テストインフラはテストに適していると感じました。各テストシナリオは期待される出力を持つ自己完結したシェルスクリプトであり、正確な再コンパイル動作を文書化・検証しやすくなっています。コードへの信頼感が生まれます。

メンテナーは対応が速く、レビュープロセスは徹底さにより時間がかかりましたが、協力的でプロフェッショナルです。メンテナーの皆さん、ありがとうございます！

opam 2.1 以降では、以下のコマンドで opam switch としてベースコンパイラをインストールできます：

opam update
opam switch create 5.5.0~beta1

ベータのソースコードは以下のアドレスでも入手できます：

• GitHub: https://github.com/ocaml/ocaml/archive/5.5.0-beta1.tar.gz
• Inria の OCaml アーカイブ: https://caml.inria.fr/pub/distrib/ocaml-5.5/ocaml-5.5.0~beta1.tar.gz

コンパイラの設定を調整したい場合は、以下でオプションバリアントに切り替えることができます：

opam update
opam switch create <switch_name> ocaml-variants.5.5.0~beta1+options <option_list>

ここで option_list は ocaml-option-* パッケージのスペース区切りリストです。例えば、flambda と no-flat-float-array の switch の場合：

opam switch create 5.5.0~beta1+flambda+nffa ocaml-variants.5.5.0~beta1+options ocaml-option-flambda ocaml-option-no-flat-float-array

利用可能なすべてのオプションは opam search ocaml-option で一覧表示できます。