OCaml Weekly News

Tarides の私たちは、Merlin の signature-help 機能に加えられた改善をお知らせできることを大変嬉しく思います！

念のため説明しておくと、signature-help は Merlin の機能で、関数のシグネチャを表示し、現在アクティブなパラメータをハイライトします。エディタでは通常、ツールチップ、フローティングウィンドウ、またはミニバッファに表示されます。例えば、下の画像は VSCode における関数 exec_prog の signature-help 表示です。

signature-help コマンドの実装にはいくつかの問題点があり、それらが修正されました。これらの修正により、機能がより快適に使えるようになります。一部の改善はすでに最新の Merlin および ocaml-lsp リリースに含まれており、残りは次のリリースに含まれる予定です。

変更内容：

• Merlin は関数のパラメータ部分でのみ signature-help 情報を表示するようになり、関数名では表示しなくなりました。
• signature-help はアクティブなパラメータの情報のみを表示するようになり、最後のパラメータの後に最初のパラメータに戻ってハイライトするループが解消されました。
• let .. in バインディングの中で in がまだ書かれていない関数呼び出しにおいても、signature-help がトリガーされるようになりました。
• オプションパラメータが検出されるようになり、アクティブなパラメータの入力を開始した際にハイライトされるようになりました。

皆さん、こんにちは。 OCSF を代表して OCaml Users Survey 2026 を準備中です。質問を確定する前に、アンケートの質問についてご意見をいただきたいと思っています。

提案された質問リストはこちらでご覧いただけます：Proposed OCaml Users Survey Questions 2026 参考として、2023年のアンケートからの変更点まとめもあります。

皆さん、こんにちは。

OCSF を代表して、OCaml Users Survey 2023 への回答に関する（遅れてしまいましたが）報告書を発表できることを嬉しく思います。集計と評価が遅くなってしまったことをお詫び申し上げます。今後は OCaml Users Survey を毎年確実に実施することをお約束します。

前置きはこれくらいにして、報告書へのリンクをどうぞ：

https://ocaml-sf.org/docs/2023/survey-results.html

報告書に関するご意見、回答や数値についての議論（解釈やご意見をぜひシェアしてください）、その他のコメントをお待ちしています。

OCaml とそのエコシステムの現状をより深く理解するためにアンケートに参加してくださった皆さん、ありがとうございました！:orange_heart: :two_hump_camel:

Sabine

PS：OCaml Users Survey 2026 も近日開催予定です。2026年のアンケート質問変更に関するフィードバックスレッドへのご意見を大変歓迎しています。

こんにちは！Tarides の私たちは、仕様駆動テストのための ortac-0.8.0 のリリースを発表できることをとても嬉しく思います！

ortac は Gospel エコシステムのツールです。核となるアイデアは、Gospel 仕様言語のサブセットを OCaml コードに変換し、その変換結果を利用してランタイムチェックを生成することです。

ortac はプラグインアーキテクチャを採用しています。opam 経由でインストールできます：

$ opam install ortac-wrapper    # ランタイムアサーションチェック用ラッパープラグインをインストール（必要な他のパーツ（ランタイムと CLI）も含む）
$ opam install ortac-qcheck-stm # QCheck-STM テストを生成する qcheck-stm プラグインをインストール（必要な他のパーツ（ランタイムと CLI）も含む）
$ opam install ortac-dune       # 上記2つのプラグインを使用するための dune ボイラープレートを生成する dune プラグインをインストール

このリリースでは、Ortac/QCheck-STM が QCheck-STM テストフレームワークのより多くの機能を活用できるようにすることに焦点を当てています。具体的には、並列コンテキストでのテストとコマンド生成の柔軟性です。

動作の仕組みについてはドキュメントをご参照ください。

並列コンテキストでのテストについて：バージョン 0.2 でのバグレポート機能の導入と、バージョン 0.4 での SUT を返す関数のサポートにより、並列コンテキストでの QCheck-STM テストの生成が（手書きの QCheck-STM テストでは簡単にできるにもかかわらず）難しくなっていました。この問題が修正されました！

バグレポートの情報は、実際のテストを行う関数（実際の実行結果とモデルからの結果を比較する関数）内で部分的に収集されます。これは QCheck-STM+Domains の中心であり、テスト実行時に信頼される部分です（いわば Trusted Testing Base）。並列テストにバグレポート機能を実装するにはこの関数を書き直す必要があるため、生成されたテストが対応する手書きの QCheck-STM テストと同じセマンティクスを持つことを確認するために、情報収集を導入したコミットの差分を最小限に抑え、ロジックの保存が明確になるようにしました（最終的には、人間によるレビューが信頼の根拠です）。

バージョン 0.4 以降、SUT を返す関数もテストに含まれています。新しく作成された SUT は、次の呼び出しの引数として選ばれる SUT のストアに追加されます。ここで問題になるのは、並列コンテキストでどう扱うかという点です。並列ブランチで作成された SUT をグローバルストアに追加することはできません。ドメイン間で共有されることが想定されていないからです。私たちは、並列コンテキストに入った時点で新しく作成された SUT のストアへの追加を停止するというシンプルな設計を選択しました。ご安心ください。これらの SUT を返す関数は、テストのシーケンシャル部分（シーケンシャルモード、および並列モードのシーケンシャルプレフィックス）で引き続き完全にテストされます。

QCheck-STM テストフレームワークの強みの一つは、コマンドジェネレーターの柔軟性です。この柔軟性は QCheck.Gen API 自体と、QCheck-STM コマンドジェネレーターが現在のモデルの状態をパラメータとして受け取る点から生まれています（例えばキーバリューストアの lookup コマンド生成を考えると、実際に値に関連付けられているキーを検索する呼び出しを生成できる可能性を持たせたいわけです）。自動生成されたコマンドジェネレーターはどうしてもナイーブになりがちです。このナイーブさを軽減するために、ユーザーが以下を提供できるようにしています：

• 特定のコマンド生成に適用する重み。例えば、キューを所有するはずでないドメインでのワークスティーリングキューへの push コマンドの生成を無効にするのに便利です。
• ユーザーがコマンドジェネレーターを現在のモデルの状態にパラメータ化された形で活用したい場合の、完全なコマンドジェネレーターの実装。

ハッピーテスティング！

OCaml 5.5.0 の安定化作業が進む中、第3アルファリリースを発表できることを嬉しく思います。

第2アルファは、リロケータブルコンパイラとブートストラップの間に予期せぬ相互作用が見つかったためリリースされませんでした。この問題は第3アルファで修正されています。

この重要な変更に加え、第1アルファと比較してこの新しいアルファリリースには以下が含まれています：

• 2件のコード生成修正
• 3件の型システム修正
• 1件の標準ライブラリ修正

（全リストは以下のChangelog をご覧ください）

全体的に、5.5.0 は順調に安定化が進んでおり、ほとんどの開発ツールのアルファバージョンが利用可能になっています。そのため、4月の初めにベータリリースに切り替える予定です。

より詳しくは、エコシステムの安定化の進捗状況が opam の 5.5.0 readiness メタイシューで追跡されています。

このアルファリリースには、コンパニオンの alpha opam リポジトリも用意されています：

$ opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git

このリポジトリには、OCaml 5.5.0 向けに更新中の opam パッケージの進行中のアルファリリースが含まれています。

最終リリースは引き続き5月から6月の間を予定しています。

バグを発見された場合は、イシュートラッカーに報告してください。

新機能とバグ修正の全リストに興味がある方は、更新された OCaml 5.5.0 の changelog をご覧ください。

ハッピーハッキング、 OCaml チームを代表して Florian Angeletti

こんにちは、

openapis 仕様からコードを生成するツール、ocaml-openapi-gen の最初のリリースを行いました。

openapi_gen パッケージは私の個人用 opam リポジトリから入手できます。

このツールは、提供されている REST API を通じて Codeberg やその他の Forgejo ベースのプラットフォームと連携するライブラリ、ocaml-forgejo のコード生成に使用されています。

生成されるインターフェースは将来的に変更される可能性があります。

現在、IIT Madras で「CS6868: Concurrent Programming（並行プログラミング）」というコースを教えています。このコースの目標は、OCaml 5 を使った並行・並列プログラミングを教え、その後、安全で高速な並列処理のために OxCaml を紹介することです。OCaml 5 の部分はすでに終了しており、次は OxCaml を始める予定です。コース教材をコミュニティと共有することが良いと思いました。

https://github.com/kayceesrk/cs6868_s26

CS6868 は OCaml の知識を前提としており、私は CS3100: Paradigms of Programming でそれをカバーしています。このコースには全講義、ノートブック、課題を含む YouTube プレイリストがあります。

CS6868 は、並列性の基礎、線形化可能性による正確さの推論、スピンロック・ミューテックス・条件変数・メモリ整合性モデルを通じた並列プログラミング、そしてパフォーマンスとノンブロッキングデータ構造の基礎（ロックフリーのリンクリスト、キュー、スタック）を構築します。ここでは、コースはThe Art of Multiprocessor Programmingという書籍に密接に従っています。すべてのコードが OCaml 5 で書き直されています。書籍の内容に加え、コースでは OCaml のリラックスメモリモデルもカバーしています。また、qcheck-lin と qcheck-stm を使った並行プロパティベーステストや、TSAN を使ったデータレース検出など、OCaml 固有のツールも多数カバーしています。

続いて、Control structures in programming languages: from goto to algebraic effects の特定の部分に従い、effect ハンドラーの基礎をカバーします。その後、軽量スレッド、バッファ付きチャネル、選択的通信（Concurrent ML の流れで）、ネストされた並列プログラミング（domainslib のように）、基本的な非同期 IO（Eio のように）を備えた、本格的な Go 風のマルチコア対応並行プログラミングライブラリを構築します。

コースプロジェクトのコレクションも増えており、コース教材を一通り学べば取り組めるはずです。コースプロジェクトのアイデアがあればぜひ教えてください。

このコースは、これまで私たちが行ってきた多くのチュートリアルの内容をまとめようとしています。フィードバックがあればぜひお聞かせください。小さな問題を修正する PR は受け付けますが、現在進行中のコースであるため、大きな PR はおそらく受け付けられません。作成した私と同じくらい楽しんで取り組んでいただければ幸いです。

libinput-ocaml（libinput C ライブラリの OCaml バインディング）の最初のリリースをお知らせできることを嬉しく思います。

libinput は、Wayland コンポジターなどのアプリケーションがマウス、キーボード、タッチパッドなどにアクセスするために使用されます。

Linux input devices (with libinput-ocaml) では、Linux 上での入力デバイスの仕組みを説明し、このライブラリを使って小さなゲームを作成する方法を示しています：

4月3日（金）11:00〜12:00 UTC（現地時間：[date-range from=2026-04-03T11:00:00 to=2026-04-03T12:00:00 timezone=UTC]）に OCaml コンパイラのオフィスアワーを開催することを提案します。

• 質問・トピックを準備するための共同パッド