OCaml Weekly News

OCaml ユーザーの皆さん、こんにちは。 関数型プログラミングに関連するテーマで 2025 年に博士号を取得された方、またはそのような学生をお持ちの方は、新設された Richard Bird Distinguished Dissertation Award にご応募いただけます。以下に告知文を転載します。

===============================================================

候補者募集のお知らせ

Richard Bird Distinguished Dissertation Award 2025

締め切り：2026年8月31日

http://tinyurl.com/jfp-bird-award

===============================================================

概要

Journal of Functional Programming は、関数型プログラミングにおける優れた博士論文を表彰するため、Richard Bird Distinguished Dissertation Award を設立しました。

Richard Bird（1943–2022）は、関数型プログラミングの分野を牽引した第一人者のひとりです。Oxford 大学の教授として Algebra of Programming グループを創設し、Computing Laboratory の所長を務めました。Richard は、明快かつエレガントな記述の高い基準を確立した関数型プログラミングに関する数多くの著書と「パール」で広く知られています。この分野においてこうした価値観をさらに奨励するために、彼の名を冠した賞が設立されることは誠にふさわしいことと言えます。

本賞には £1,000 の賞金が贈られます。賞金の財源は、関数型プログラミングの発展を目的として Richard 自身から寄せられた寄付によって支えられています。

選考基準

対象となる論文は、2025 年中に完成したものに限ります。機関によって、口述試験の日付、修正承認日、学位授与式の日付など、完成日の定義が異なる場合があります。

本賞は JFP の対象範囲内のすべてのトピックに開かれており、特に Richard 自身の価値観である明快さ・簡潔さ・エレガンスを体現した論文を重視します。審査対象となる論文は以下の条件を満たす必要があります。

• 高水準の記述に達していること；
• 分野において注目すべき貢献をなしていること；
• 結果をコンピュータサイエンスの広い文脈に位置づけていること。

推薦方法

2026年8月31日までに、以下の情報を審査委員長 graham.hutton@nottingham.ac.uk 宛にご提出ください。

• 推薦理由を説明する推薦状 2 通。1 通は指導教員から、もう 1 通は候補者と利益相反のない独立した立場の方（外部審査員や分野の専門家など）からのものとしてください。
• 論文本体のコピー。

審査委員会

• Graham Hutton（委員長）、University of Nottingham
• Matthew Flatt、University of Utah
• Jeremy Gibbons、University of Oxford
• François Pottier、INRIA
• Wouter Swierstra、University of Utrecht
• Ningning Xie、University of Toronto

JFP の編集長は委員会のオブザーバーとして参加します。

===============================================================

皆さん、昨年 Fun OCaml で observability に関するワークショップを行った際、継続的プロファイリングについて何が利用可能かを尋ねてくださった方が何人かいましたが、当時は OCaml を直接サポートするソリューションを把握していませんでした。

その後、開発に取り組む機会を得て Semgrep の本番環境に導入し、数ヶ月間の実運用テストを経て、Pyro Caml が公開されました。opam でもご利用いただけます。

ocaml-rs、runtime event システム、memprof など、多くの優れた OCaml ツールを活用できたので、実に楽しい開発でした 😄。詳細にご興味のある方は、こちらのブログ記事をご覧ください。

現在は CPU プロファイリングのみ対応していますが、今後数ヶ月のうちにメモリ/GC プロファイリングの追加も検討しています。ぜひご活用ください！

OCaml ファンの皆さん、こんにちは。

`terraform plan` が 10 分後になってタイポを指摘してくることにうんざりしていませんか？クラウドの型が曖昧すぎることに不満を感じていませんか？（Abe Simpson がクラウドに向かって拳を振り上げているあのシーンのように）

あるいは、信頼できるエコシステム内で AWS ライブラリを使いたいと思っていませんか？

このリリースはまさにそんな方のためのものです！

awso、包括的な AWS ライブラリを発表できることを嬉しく思います。これは https://github.com/solvuu/awsm からフォークされたもので、opam には公開されていませんでした。awso は botocore のサービス定義から生成された、型付きの OCaml バインディングを AWS サービスに提供します。これにより、コンパイラがタイポや型の不一致を検出してくれます。

awso リポジトリ: https://github.com/mbacarella/ocaml-awso

(* ec2_describe_instances.ml *)
module Ec2 = Awso_ec2_eio

let print_row a b c d = Printf.printf "%-16s  %-15s  %-39s  %-20s\n" a b c d

let print_instance instance =
  let name =
    Option.bind instance.Ec2.Instance.tags (fun tags ->
      List.find_map
        (function
          | { Ec2.Tag.key = Some "Name"; value = Some v } -> Some v
          | _ -> None)
        tags)
  in
  let instance_type =
    match instance.instanceType with
    | Some it -> Ec2.InstanceType.to_string it
    | None -> ""
  in
  print_row
    instance_type
    (Option.value instance.publicIpAddress ~default:"")
    (Option.value instance.ipv6Address ~default:"")
    (Option.value name ~default:"")
;;

let main env =
  let cfg = Awso_eio.Cfg.get_exn ~env () in
  match Ec2.describe_instances ~cfg (Ec2.DescribeInstancesRequest.make ()) with
  | Error e ->
    failwith
      (Printf.sprintf
         "Ec2.describe_instances: %s"
         (Yojson.Safe.to_string (Ec2.Ec2_error.to_json e)))
  | Ok { reservations; _ } -> (
    let instances =
      reservations
      |> Option.value ~default:[]
      |> List.concat_map (function
        | { Ec2.Reservation.instances = None; _ } -> []
        | { instances = Some instances; _ } -> instances)
    in
    match instances with
    | [] -> print_endline "no instances"
    | instances ->
      print_row "instance-type" "public ipv4" "public ipv6" "name";
      print_row
        (String.make 16 '-')
        (String.make 15 '-')
        (String.make 39 '-')
        (String.make 20 '-');
      List.iter print_instance instances)
;;

let () = Eio_main.run main

皆さん 🙋‍♂️

Plan 9 向け OCaml 4.14.3 のポートをいろいろ試しています：

https://github.com/dharmatech/ocaml

ネイティブコンパイラはまだ対応していません。バイトコードのサポート、repl などのみです。

ウェブサイトが https://ocaml.org/ocaml-workshop-2026 で公開されました。最新情報はこちらをご参照ください！

提出締め切りはおよそ 3 週間後です！ぜひご自身の研究をご投稿ください。

グラントの受賞者は以下の通りです：

• Chris Armstrong による OCaml bindings for GTK 4
• Federico Dal Pio Luogo による LSP for menhir
• University of Toronto の Ningning Xie チームによる Programmable Patterns for OCaml
• Robur による WebAuthn OCaml ライブラリを仕様レベル 2（2021 年）からレベル 3 へのアップデート
• ocamlpro による ocp-indent の OCaml 5.x 向けモダナイズ
• Sebastian Willenbrink による Dream Web Framework のメンテナンスと開発
• Shogan.ai（Frederic Bour と Thomas Refis）による Introspectable OCaml（コンパイル時オプション付きの OCaml バリアント）：デバッグとプロファイリングの体験を向上させるもの