Three steps for OCaml to crest the AI humps

Sadiq Jaffer, Jon Ludlam, Ryan Gibb, Thomas Gazagnaire, and Anil Madhavapeddy. In proceedings of the 2025 OCaml Workshop. .Sadiq JafferJon LudlamRyan T. GibbThomas GazagnaireAnil Madhavapeddy

#ocaml#llms#ai#conference#ocamllabs
Three steps for OCaml to crest the AI humps

Abstract

We discuss how OCaml could adapt to the fast-moving world of AI-assisted agentic coding.

We first benchmark how well represented OCaml is in the large and diverse set of open weight models that can be run locally. We then consider what is unique about OCaml programming (in particular, modules and abstraction) that differentiates it in this space. We then consider the changes required in our ecosystem to work better with AI coding assistants.

See also Sadiq's notes on the paper.

Related

A Decade of Docker Containers on the CACM cover!Feb 2026
Our CACM cover article reflects on a decade of Docker, from the early days of hacking Docker for Mac on a French farm to today's AI-driven sandboxing, covering the technical origins, cross-platform challenges, and the vibrant open-source community that made it all possible.
2025 Advent of Agentic Humps: Building a useful O(x)Caml library every dayDec 2025
An exploration of agentic programming through building useful OCaml libraries daily using Claude Code while establishing groundrules for responsible development.
Three Steps for OCaml to Crest the AI HumpsOct 2025
Sadiq Jaffer. OCaml represents less than 0.01% of training data for many large language models, creating an existential threat for the language community. This talk outlines three concrete steps the OCaml community can take to improve AI coding agent support and ensure the language's future relevance.
What I learnt at ICFP/SPLASH 2025 about OCaml, Hazel and FPOct 2025
Highlights from ICFP/SPLASH 2025 including Hazel live programming, OCaml AI tooling, formally verified GC, and cross-community discussions between Haskell and OCaml.
Three steps for OCaml to crest the AI humpsOct 2025
Ryan Gibb. Oct. 2025Sadiq Jaffer, Jon Ludlam, Ryan Gibb, Thomas Gazagnaire, and Anil Madhavapeddy.Proceedings of the 2025 OCaml workshop. We discuss how OCaml could adapt to the fast-moving world of AI-assisted agentic coding. We first benchmark how well represented OCaml is in the large and diverse set of ope…
OCaml LabsJan 2012