OCaml Weekly News

皆さん、こんにちは :waving_hand:

前回のイベントの成功を受けて、Caml In the Capital（ロンドン開催）の第2回目を企画しています。前回の参加者からのフィードバックを踏まえ、今回はより短いトークとより多くの交流の時間を設けます 🍕

現時点では 5月14日 を予定しており、会場が確保でき次第、正式に確定します。もし私たちが把握していない重要なイベントと日程が重なる場合はお知らせください。

日程と発表内容が確定したら、こちらおよび専用の Zulip チャンネル と ウェブサイト にも投稿します。

以下の求人情報を掲載したいと思います。

• title: Lead Systems Software Engineer
• link: https://careers.cloud.com/jobs/lead-systems-software-engineer-remote-united-kingdom
• locations:
  • Remote
  • United-Kingdom
• publication_date: 2026-04-08
• company: Cloud Software Group
• company_logo:

こんにちは、

YAML 1.2 および 1.1 標準の完全な実装である YAMLx の公開をお知らせします。これは、新しいアプリケーションでの設定ファイル形式としての利用や、他のアプリケーションの YAML ファイルの解析など、YAML のほとんどの用途をサポートすることを目的としています。

詳細については、リリースノートをご覧ください。

opam install yamlx で始めることができます。その後、yamlx コンパニオンコマンドを使って、お気に入りの YAML ファイルが正しく解析・解釈されるか確認してください。

以下は、ライブラリを使って YAML を JSON に変換する例です：

(* YAMLx で stdin から YAML を読み込み、Yojson で JSON を stdout に出力する

   これは YAMLx ライブラリをデフォルト設定で使用する方法を示すデモです。
   'YAMLx.Values.one_of_yaml_exn' には入力言語を制限したり、
   YAML 1.2 の代わりに YAML 1.1 として解釈を強制するオプションがあります。

   コンパイル:
     ocamlfind opt -o yaml-to-json \
       -package yamlx,yojson -linkpkg yaml_to_json.ml
*)

open Printf

let rec yojson_of_yamlx (x : YAMLx.value) : Yojson.Safe.t =
  match x with
  | Null _ -> `Null
  | Bool (_, x) -> `Bool x
  | Int (_, x) -> `Intlit (Int64.to_string x)
  | Float (_, x) -> `Float x
  | String (_, x) -> `String x
  | Seq (_, xs) -> `List (List.map yojson_of_yamlx xs)
  | Map (_, xs) ->
      `Assoc (List.map (fun (loc, k, v) ->
        match (k : YAMLx.value) with
        | String (_, k) -> (k, yojson_of_yamlx v)
        | _ ->
            ksprintf failwith "%s: only string keys are supported"
              (YAMLx.default_format_loc loc)
      ) xs)

let () =
  YAMLx.register_exception_printers ();
  stdin
  |> In_channel.input_all
  |> YAMLx.Values.one_of_yaml_exn
  |> yojson_of_yamlx
  |> Yojson.Safe.pretty_to_channel stdout
  |> print_newline

ocaml-letsencrypt（バージョン 2.1.0）のリリースをお知らせします。このバージョンでは、スケジューラや HTTP クライアントに依存せず単独で動作できる新しい API が導入されています。また、新たに開発した jws ライブラリを使って書き直され、yojson の代わりに jsont ライブラリを活用しています。

ocaml-letsencrypt は、DNS、HTTP、ACME-TLS の3つの方法で証明書を取得するために必要なチャレンジを実装しています。これにより、（例えば Vif で実装された）ウェブサイトのデプロイ戦略を完全に OCaml で提供できるようになります。

私たちのコープでは、以下のようなプロジェクトで利用しています：

• dns-letsencrypt-secondary：セカンダリ DNS サーバとして動作し、特定ドメインの DNS チャレンジを実行して証明書と秘密鍵を生成する unikernel。通常、プライマリ DNS サーバである primary-git と連携して動作します。
• contruno：TLS リバースプロキシとして動作し、HTTP チャレンジを実行できる unikernel。現在、mnet を使って完全に書き直し中です。

ウェブサイトのデプロイにお役立てください。そして、jws も OCaml エコシステム内でライブラリとしての地位を確立することを願っています！

皆さん、こんにちは。

merlin 5.7.0-504 と ocaml-lsp 1.26.0 の同時リリースをお知らせします。

今回のリリースには、クラスやオブジェクト関連の各種項目に対する型エンクロージャの動作改善、シグネチャヘルプの改善、およびいくつかのバグ修正など、多くの変更が含まれています。

問題が発生した場合は、遠慮なくバグトラッカーに issue を開いてください：

• Merlin: バグトラッカー
• OCaml LSP: バグトラッカー

2026年のアップデート：

• 2025年12月、@avsm が AI エージェントを使って1日でpure-OCaml の YAML ライブラリを作成し、その経緯を記事にしました。
• 2026年4月、私も同様のアプローチで取り組み、完全な本番品質の 1.2/1.1 YAML ライブラリ YAMLx として仕上げました。こちらで発表しています。

Ocsigen チームは、OCaml 向けの小さくも実用的な国際化ライブラリ ocsigen-i18n 5.0 のリリースをお知らせします。

今回の大きな変更点：ocsigen-i18n は Eliom への依存から解放されました。これからはあらゆる OCaml プロジェクトで使用でき、必要な場合には Tyxml や Eliom 向けのオプション拡張も利用できます。

ocsigen-i18n はもともと Be Sport の @sagotch によって書かれました。今回のリリースは IRILL の資金援助を受けた Habib の作業によって実現しました。

opam install ocsigen-i18n

ATD は、YAML ファイルやその他のフォーマットからデータを簡単に読み込むための OCaml サポートを追加しました。具体的には以下の通りです：

1. 設定データの型を定義します。
2. atdml --mode jsonlike app_config.atd で、ソース位置情報を含む JSON ライクな AST を設定データ構造に変換する OCaml コードが生成されます。
3. プログラムが YAML ファイルを読み込み、JSON ライクなツリーに変換し、生成された関数を呼び出して OCaml データ構造に変換します。
4. 設定が不正または不完全な場合、アプリケーションは有用なエラーメッセージを表示します。

サンプルがディストリビューションに含まれています。最近リリースされた YAMLx ライブラリを使用しています。

YAMLx はこれまでの作業に資金を提供し、パーミッシブな ISC ライセンスをすべての人に開放するために、寛大なスポンサーを必要としています。または、アプリケーションのソースコードをユーザーと共有することに問題がなければ、AGPL ライセンスの条件を受け入れることもできます。

ソース位置情報が利用可能であれば、他の入力ファイルフォーマットや他の YAML ライブラリも最小限の労力で同様に使用できます。そのためには、AST を JSON ライクな AST に変換するブリッジが必要です。