OCaml Weekly News

こんにちは、

restricted の新バージョンをお知らせします。

このライブラリを使うと、プログラムがアクセスできるシステム操作およびファイルシステムの範囲を制限できます。プログラムのなるべく早い段階で呼び出すことで、以降のコードを低い権限で実行できます。現在、実際に権限制限が実施されているオペレーティングシステムは以下の通りです：

• OpenBSD
• Linux（ファイルシステムのビューのみ）

その他のオペレーティングシステムでも、restricted を使ってプログラムが必要とする権限を文書化することができます。ユーザーは pledge on Linux などのツールを使って、プログラムがこれらの宣言を守っているかテストできます。お楽しみください :slight_smile:

• opam
• api
• examples
• git repo
• License AGPL

CHANGELOG:

• テスト環境:
  • x86_64 openbsd（16/16 テスト通過）
  • x86_64-alpine-linux（Landlock ABI version: 7）（4/12 テスト通過: file_read_unv, file_write_unv, file_create_unv_linux, file_cwrr_unv_linux）

[以下はフランス公共機関の求人情報のため、フランス語で記載しています]

Candidatez ici : https://www.lasecurecrute.fr/offre-emploi/ingenieur-expert-en-compilation-langages-de-programmation--f-h/normandie/1065497

La CNAF (Caisse Nationale des Allocations Familiales), tête de réseau des 101 CAF, représente la branche Famille de la Sécurité sociale et a pour mission de piloter la politique familiale et l'aide aux populations en situation de précarité ainsi que la politique d'action sociale.

Au sein de la Direction des Systèmes d'Information (DSI), comptant environ 880 collaborateurs, la Direction Prestations Flux et Décisionnel (DPFD) est découpée en 4 départements et vous serez rattaché au département « Prestations Individuelles et Référentiels Métiers » qui est présent sur les sites de Caen, Le Mans et Rennes.

Ce département a pour mission principale de concevoir, développer et maintenir le système d'information lié aux prestations individuelles (prestations versées aux allocataires telles que l'allocation familiale, l'allocation logement, la prime à la naissance, le RSA, la prime d'activité, …). Le département fournit ainsi des moteurs de règles, ainsi que les spécifications fonctionnelles associées afin de calculer le bon droit, au bon moment, pour les allocations versées par les CAF.

Dans le cadre de projets stratégiques pour la branche famille, la ou le candidat intégrera le centre technique Catala de la CNAF.

Catala est un langage de programmation dédié développé par l'Institut National de Recherche en Informatique et en Automatique (Inria), spécialement adapté à la transformation de spécifications juridiques et réglementaires en code informatique. La CNAF ayant décidé de s'appuyer sur Catala pour les projets de modernisation de son système de calcul des prestations sociales, elle souhaite également internaliser des compétences de maintenance sur l'outillage de Catala au travers de ce poste.

Le centre technique Catala a ainsi vocation à produire des contributions open-source sur Catala, mais aussi à répondre aux besoins d'expertise technique du département « Prestations Individuelles et Référentiels Métiers » pour ses projets liés aux moteurs de calcul des prestations sociales.

採用される方は Inria の Catala チーム（Louis Gesbert、Vincent Botbol、Romain Primet、そして私）と一緒に働くことになります！ご質問があればお気軽にご連絡ください :slight_smile:

Catala のコンパイル関連で行ってきたこと・今後取り組む予定のことの概要はこちら: https://blog.merigoux.ovh/en/2026/02/19/building-proper-pl.html

GTK 4 向け OCaml バインディングである ocgtk の最初のプレビューリリース（v0.1-preview0）をお知らせします。

out_channel への出力をリダイレクト・キャプチャするためのライブラリ、out-channel-redirect の最初のリリースをお知らせします。

ppxlib チームは ppxlib.0.38.0 のリリースをお知らせします。

このリリースの主な機能は OCaml 5.5 のサポートと、OCaml 5.4 および 5.3 のサポートの改善です。またいくつかのバグ修正と新しい API エントリも含まれています。詳細なリリースノートはこちらからご覧いただけます。

これはこのスレッドで新しいコンパイラーサポートのアプローチを発表して以来の最初のリリースです。バージョン >= 5.3 のコンパイラーへのすべてのサポートはこの手法を使って実装されており、新しい言語機能は AST にエンコードされています。ラベル付きタプルやエフェクトパターンなどを操作できるよう、`Ast_builder` および `Ast_pattern` 関数を追加しました。これらは API ドキュメントのこちらとこちらでご覧いただけます。また新しいマニュアルセクションでその使い方を説明しています。現在の内部 AST（5.2）では表現できない他の新しい言語機能の生成や消費に興味がある場合は、関連するヘルパーを追加できるようイシューを開いてください。

エコシステムがまだ 5.2 AST の変更と ppxlib.0.36.0 から回復しきっていない中、さらなる破壊を導入することなく新しいコンパイラーのサポートを追加し、メンテナンスの負担を ppxlib の範囲内に収められることを嬉しく思います。 このアプローチをより実現可能にするため、コンパイラーチームとの議論も開始しています。

このリリースで唯一の外部コントリビューターである @ceastlund に感謝します。

個人的には、リリースを助けてくれた @patricoferris、そして ppxlib での私の作業に資金を提供してくれた OCaml Software Foundation と OCamlPro に感謝します。

お読みいただきありがとうございます。Happy preprocessing!

皆さん、

opam メタデータとソースコード内の拡張属性を使って、公開された OCaml コードにおける AI 使用を自発的に開示できるようにする ocaml-ai-disclosure 提案をまとめました。

リポジトリとブログ記事に詳細、属性を抽出するためのプロトタイプツール、そして FAQ があります。要点としては、HTML に関する W3C 開示提案と非常に似たものを提案しています。

odoc の Markdown バックエンドと、それを使って melange.re のドキュメントを改善した方法についてのブログ記事を公開しました。気に入っていただければ幸いです：

https://sancho.dev/blog/ocaml-documentation-as-markdown

これを実現したコードをレビューしてくれた @jonludlam、@rgrinberg、@Alizter に感謝します。

https://pastebin.com/Nwu2aC7A

Squava ボードゲームです。

Squava 1.1 にはベクターグラフィックスはありませんが、./squava.png を編集・縮小・拡大すると、プログラムが新しいピックスマップを使ってボードを適応させます。

こんにちは、

opentelemetry 0.90（および opentelemetry-client、opentelemetry-client-cohttp-lwt など）のリリースをお知らせします。

opentelemetry は OCaml 向けの https://opentelemetry.io/ の実装で、ライブラリなどのインストゥルメンテーション用のコア クライアント API と、各種エクスポーターを備えた完全な SDK の両方をカバーしています。Trace と互換性があります。

このリリースは数ヶ月の作業の結果であり、1.0 前の最後のリリースの一つになることを期待しています。changelog はかなり大きく、多くのものを作り直しました。主な変更点は以下の通りです：

• ocaml-protoc/pbrt 4.0 への移行（ミュータブルフィールドと protobuf 向けの異なるコード生成）
• API が https://opentelemetry.io のガイドラインにより近づいた（まだ完全ではないが改善）
• シグナルの内部処理のモジュール性が大幅に改善され、コードの再利用性向上、すべてをプラグイン可能に、キューイング/バッチング改善、HTTP リトライ対応
• protobuf の代わりに JSON としてエクスポートするサポート
• trace 0.11 のサポート（opentelemetry.trace がグローバルな OTEL エクスポーター以外のすべてのグローバル状態を省けるようになった）
• ライフサイクルとクリーンアップの改善

API ドキュメントはこちらにあります。いつものように、フィードバックやバグ報告などは大歓迎です。

Dune チームは dune 3.22.1 のリリースをお知らせします。

このリリースで問題が発生した場合は、イシュートラッカーにご報告ください。