OCaml Weekly News

• HTML/KaTeX バックエンドにおける永続的な LaTeX マクロのサポート（@dlesbre、#1391）。
• markdown-generate コマンドが単一の呼び出しで複数の .odocl ファイルを受け付けるようになり、シェルのループで囲む必要がなくなりました（@davesnx、#1387）。

• 長年にわたるコンパイル時クラッシュ #930 および #1385 を修正しました（@jonludlam、#1400）。
• Markdown バックエンドは宣言において ocaml を言語 id として使用するようになり、バリアント・レコードをコンストラクタ・フィールドごとに分割するのではなく、コメント付きの単一ブロックにまとめるようになりました。
• URL のリマッピングがページ参照に対して正しく動作するようになりました（@jonludlam、#1395）。
• #1396 で説明された条件下でインクリメンタルビルドが壊れなくなりました（@jonludlam、#1402）。
• --warn-error がすべての警告を確実にエラーに昇格させるようになりました（@jonludlam、#1402）。
• 多相引数の括弧が欠落しなくなりました（@art-w、#1404）。
• OCaml 5.5.0 における base に依存するパッケージのドキュメント生成が壊れるリグレッションを修正しました（@jonludlam、#1426、#1427）。
• merlin-lib に依存するパッケージのドキュメント生成が壊れるリグレッションを修正しました（@jonludlam、#1429、#1430）。

opam update
opam install odoc

odoc_driver を使ってパッケージのドキュメントをローカルでビルド・テストし、ocaml.org 上での表示を確認してください。

Odig と Dune は従来通り動作します。変更は不要です。odoc 3.x のすべての機能への完全なサポートは Dune で作業が進められています。

今回のリリースにコード、レビュー、バグ報告、テストで貢献してくださったすべての方に感謝します：@art-w、@davesnx、@dlesbre、@jonludlam、@lukemaurer、@panglesd、@xvw、そして記載漏れがあった方々にも感謝します！

問題がありましたら、いつでも github にご報告ください。

少なくとも Windows では、zig の親プロセスが OCaml/zig の子プロセスからデータを収集できないバグがあるようです。そのため「zig が OCaml を起動する」例はありません。

以下は私のシングルスレッドビルドシステムのスナップショットです。コールスタックの重要な部分がプログレスツリーに追加されています（基本的に関数の前後に start と end_ を配置しています）：

$ ./dk0 distribute CommonsBase_Std-dist-win32 --library 'CommonsBase_Std@2.5.999911122233' dist-win32.u

[signify] New build key pair in t/k/build.pub and t/k/build.sec ...
[signify] Distribute key pair among trusted coworkers only!
►0/2] distribute CommonsBase_Std-dist-win32
   └─ [2/5] prepare distribution
      └─ [29/32] get-object CommonsBase_Std.Toybox@0...
         └─ dl toybox-aarch64@toybox sz 806K
            └─ landley.net/toybox...oads/binaries/0.8.9
               └─ [0/1] MiB downloaded

「►」ツリーが10秒以上更新されないことで、landley.net/toybox ウェブサーバーから 806K の小さなファイルをダウンロードするだけでパフォーマンスが大幅に低下していることが分かりました。

0.5秒以上かかるパフォーマンスのボトルネックを簡単に特定できます。

• MlFront_Progress：4つのバックエンドのいずれかと組み合わせて使用できる API。「サイレント」および「プレーン」バックエンドを含む。
• MlFront_ProgressZig：zig 互換バックエンド（高リフレッシュレート）
• MlFront_ProgressPeriod：プログレスツリーを定期的にコンソールに出力するバックエンド。

ドキュメントは https://dkml.gitlab.io/build-tools/MlFront/ にあります。

opam キュー（https://github.com/ocaml/opam-repository/pull/29918）に登録済みですが、AI スレッドの問題が解決するまでリリースされない見込みです。最新版のインストールは以下のコマンドで行えます：

for pkg in MlFront_Progress MlFront_Core MlFront_Lua MlFront_ZipFile UnifiedScript_Std MlFront_Thunk MlFront_Console MlFront_ProgressZig; do
  opam pin add $pkg https://gitlab.com/dkml/build-tools/MlFront/-/releases/permalink/latest/downloads/MlFront.tar.gz
done

（いくつかのファイルに「AI」について記載していますが、それは自分自身のためであり、狭い範囲で適用し、管理下に置いています。また、パッケージに「AI 支援/AI 生成」などのラベルを半永久的に付けることが賢明だと言う弁護士は（少なくともアメリカには）ほとんどいないと思うので、そのような方針が新たに設けられた場合は opam リポジトリへの登録を見送ります。）

お楽しみください！