The OCaml Planet RSS

A guided tour through Oxidized OCaml (Video, Tutorials @ ICFP/SPLASH 2025) Gavin Gray, Anil Madhavapeddy, KC Sivaramakrishnan, Will Crichton, Shriram Krishnamurthi, Chris Casinghino, and Richard A. Eisenberg (Brown University; University of Camb...

Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract) (Video, TyDe 2025) Patrick Ferris, and Anil Madhavapeddy (University of Cambridge, UK; University of Cambridge, UK) Abstract: When developing a new progra...

A Vision for OCaml in the AI Era Thibaut Mattio ABSTRACT AI is reshaping software development, yet OCaml's adoption in AI workflows remains limited. This talk explores how the OCaml community can proactively embrace AI to make OCaml a pro...

A Vision for OCaml in the AI Era Nicolás Ojeda Bär ABSTRACT AI is reshaping software development, yet OCaml's adoption in AI workflows remains limited. This talk explores how the OCaml community can proactively embrace AI to make OCaml a productive language in the AI era—both for writing AI applications and for AI-assisted development. We examine two critical questions: First, how can OCaml become a viable alternative to Python for machine learning? By addressing ecosystem breadth and developer experience, we can solve real problems—from unifying research and production codebases to enabling scalable deployment with OCaml's performance guarantees. Second, how can we make OCaml more productive for AI-assisted development? Strong type systems and integrated tooling give OCaml a natural advantage for coding agents, but we need specialized, open-source tools built for the OCaml ecosystem. This talk introduces Raven, a modern scientific computing ecosystem for OCaml that mirrors Python's ML stack, and Spice, an upcoming local-first, OCaml-native coding agent. Beyond tooling, we'll discuss how the community can anticipate changes in onboarding, documentation, and workflows to ensure OCaml thrives in an AI-driven future—while maintaining equal opportunity and access for all developers. Session page: https://fun-ocaml.com/2025/a-vision-for-ocaml-in-the-ai-era/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

OCaml at LexiFi Nicolás Ojeda Bär ABSTRACT LexiFi is likely to have been the first real industrial user of OCaml, back when it was funded in 2000. In this talk, I will present some of the things we have learned along the way. Some of the points I will address: our technology stack (development environment, deployment and distribution, cloud infrastructure, etc), tooling, strong and weak points of OCaml, people aspects (hiring and training), etc. If there is time, I will also present one of our key technical innovations: extending the OCaml compiler with type reflection (this topic will be explored further in the dedicated Workshop). Session page: https://fun-ocaml.com/2025/ocaml-at-lexifi/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

OCaml at LexiFi Nicolás Ojeda Bär ABSTRACT LexiFi is likely to have been the first real industrial user of OCaml, back when it was funded in 2000. In this talk, I will present some of the things we have learned along the way. Some of the ...

I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml Mindy Preston (yomimono) ABSTRACT I was unsatisfied with existing cross-stitch pattern generating software, which was mostly structured like pixel-based paint programs. Those programs with support for very common operations like tiling borders were locked behind paywalls. I decided to write my own in OCaml, and I've been using it to design cross-stitch patterns since 2019. I'll talk a bit about the joy of making the Exact Right Tool, the anguish of abandoned experiments, and the ambiguous pleasure of monetizing art. Session page: https://fun-ocaml.com/2025/i-can-see-the-pixels/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml Mindy Preston (yomimono) ABSTRACT I was unsatisfied with existing cross-stitch pattern generating software, which was mostly structured like pixel-based paint programs. Those ...

Frameworks: No, Libraries: Yes. Developing a product in OCaml from Scratch Malcolm Matalka (Terrateam) ABSTRACT Terrateam is an open source infrastructure management product written in OCaml. In order to stay lean and flexible, Terrateam has developed almost all of its own frameworks and tooling. With a small team, the Terrateam product punches well above its weight compared to its competition. This talk will cover the choice to develop their own frameworks, the good, the bad, and how OCaml has been instrumental in being able to achieve so much despite being a two person company. Session page: https://fun-ocaml.com/2025/terrateam/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com #ocaml --- Big Thanks(TM) go to our generous sponsors who made FUN OCaml possible! * Octra Labs - https://octra.org/ - Platinum Sponsor * Ahrefs - https://ahrefs.com/ - Platinum Sponsor * Dialo - https://dialo.ai/ - Gold Sponsor * LexiFi - https://www.lexifi.com - Bronze Sponsor * Jane Street - https://www.janestreet.com/ - Bronze Sponsor * LightSource - Volunteer / Organizer Commitment * Tarides - Volunteer / Organizer Commitment

Frameworks: No, Libraries: Yes. Developing a product in OCaml from Scratch Malcolm Matalka (Terrateam) ABSTRACT Terrateam is an open source infrastructure management product written in OCaml. In order to stay lean and flexible, Terrateam ...