OCaml Weekly News

みなさん、こんにちは :waving_hand:

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

現時点では 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 に変換する例です:

(* Read YAML from stdin with YAMLx, print JSON to stdout with Yojson

   This is a demo showing how to use the YAMLx library with the default
   settings. 'YAMLx.Values.one_of_yaml_exn' offers options to restrict
   the input language or to force the interpretation as YAML 1.1 instead of
   YAML 1.2.

   Compile with:
     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 チャレンジを実行して証明書と秘密鍵を生成するユニカーネル。通常は私たちのプライマリ DNS サーバーである primary-git と連携して動作します。
• contruno: TLS リバースプロキシとして動作し、HTTP チャレンジを実行できるユニカーネル。現在 mnet を使って全面的に書き直し中です。

ウェブサイトのデプロイに役立てていただければ幸いです。ハッピーハッキング！ jws も OCaml エコシステムの中でライブラリとして活躍の場を見つけることを願っています。

みなさん、こんにちは。

merlin 5.7.0-504 と ocaml-lsp 1.26.0 の同時リリースをお知らせできて嬉しく思います。

今回のリリースには、各種クラスおよびオブジェクト関連の項目に対するタイプエンクロージングの動作改善、シグネチャヘルプの改善、そして複数のバグ修正といった重要な変更が含まれています。

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

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

2026年のアップデート:

• 2025年12月、@avsm が AI エージェントを使ってわずか1日で純粋 OCaml 製の YAML ライブラリを作成し、その経緯を記事にしました。
• 2026年4月、私も同様のことを行い、時間をかけて完全な本番品質の YAML 1.2/1.1 ライブラリ YAMLx を作成し、こちらで発表しました。

Ocsigen チームは、OCaml 向けのシンプルで実用的な国際化ライブラリ ocsigen-i18n 5.0 のリリースをお知らせします。

今回のリリースにおける大きな変更点: ocsigen-i18n は Eliom との依存関係がなくなりました。これにより、あらゆる OCaml プロジェクトで使用できるようになり、必要に応じて Tyxml や Eliom 向けのオプション拡張も利用できます。

ocsigen-i18n はもともと Be Sport の @sagotch によって書かれました。このリリースは Habib の作業によって実現され、IRILL の資金提供を受けています。

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 に変換する ブリッジが必要です。