Three steps for OCaml to crest the AI humps (OCaml 2025 - OCaml Users and Developers Workshop 2025)

Who

Sadiq Jaffer, Jonathan Ludlam, Ryan Gibb, Thomas Gazagnaire, Anil Madhavapeddy

Track

OCaml 2025

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 17 Oct 2025 16:30 - 17:00 at Peony NE - Future of OCaml Chair(s): Lionel Parreaux

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.

File attachments

Extended abstract (paper.pdf)	684KiB
Slides (slides.pdf)	2.10MiB

Sadiq Jaffer

University of Cambridge

United Kingdom

Jonathan Ludlam

University of Cambridge

Ryan Gibb

University of Cambridge

Thomas Gazagnaire

Tarides

France

Anil Madhavapeddy

University of Cambridge, UK

United Kingdom

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 17 Oct
Displayed time zone: Perth change

16:00 - 17:30	Future of OCamlOCaml at Peony NE Chair(s): Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)

16:00 30m Talk		Toward a More Secure OCaml EcosystemInvited Talk OCaml Maksim Grankin Bloomberg
16:30 30m Talk		Three steps for OCaml to crest the AI humps OCaml Sadiq Jaffer University of Cambridge, Jonathan Ludlam University of Cambridge, Ryan Gibb University of Cambridge, Thomas Gazagnaire Tarides, Anil Madhavapeddy University of Cambridge, UK File Attached
17:00 30m Talk		A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP OCaml Xavier Van de Woestyne Tarides, Sonja Heinze Tarides, Ulysse Gérard Tarides, Muluh Godson Tarides File Attached