The OCaml Planet RSS

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 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

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

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

Purely functional gRPC and HTTP/2 with OCaml Adam Cholewiński (Dialo) Session page: https://fun-ocaml.com/2025/production-grade-network-protocols/ 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

Analyzing Programs with SMT Solvers Tikhon Jelvis (Semgrep) ABSTRACT We can use SMT solvers like Z3 to analyze programs and answer difficult questions about our code. By generating and solving complex constraints, we can improve error message localization, attack cryptographic protocols, check refinement types, search for proofs, verify invariants, compare programs against specifications or even synthesize code. Z3 is the goto state-of-the-art SMT solver, available under and open source license and has a first-class OCaml library. In this talk, I'll walk through a simple OCaml program to generate SMT constraints that represent a bounded model of programs in a simple imperative language. Algebraic data types and pattern matching are a perfect fit for this kind of work. Session page: https://fun-ocaml.com/2025/analyzing-programs-with-smt-solvers/ 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

Slipshow: A Full-Featured Presentation Tool in OCaml Paul-Elliot Anglès d'Auriac ABSTRACT Slipshow is a tool to create interactive presentations. Started as a JavaScript project, it is now fully written in OCaml and features a runtime engine, a compiler, a collaborative editing website, a VSCode extension, a standalone app... This talk tells the story of how it is possible to develop and maintain such a challenging project as a single developer. Session page: https://fun-ocaml.com/2025/slipshow/ 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

0xCaml From a System Engineer's Point of View Dmitriy Kovalenko (LightSource) ABSTRACT I do a lot of Rust, C, Zig and whatever else cursed systems programming languages are there. So recently 0xCaml popped out and I was def interested if I can finally use it. So I did some research on how it actually works comparing to native OCaml and other languages and try to build odiff (the fastest image comparison lib in the world) with 0xCaml. Here is what I learned. Session page: https://fun-ocaml.com/2025/oxcaml-system-engineers-pov/ 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

Performance Pitfalls: Tales From a Python/OCaml Codebase Emma Jin (Semgrep) ABSTRACT Semgrep is a tool that enables developers to search their code for security vulnerabilities, built with an OCaml engine and a Python frontend. This has come with a fair amount of performance pain. In this talk, I'll share some of the worst problems we ran into, how we found them, and how we solved them (mostly, rewriting Python code in OCaml). Session page: https://fun-ocaml.com/2025/performance-pitfalls-tales-from-a-python-ocaml-codebase/ 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

Generating Static Websites the Functional Programming Way Xavier Van de Woestyne (Tarides) ABSTRACT Static site generators like Jekyll, Zola, and Hugo are effective, but fall short for complex sites like personal encyclopedias, wikis, or sites with rich content. Features like backlinks and transclusions require richer context and efficient builds. This talk explores the theory behind static site generation (as a case of build systems) and shows how to implement advanced features inspired by Project Xanadu using YOCaml, a static site framework based on functional abstractions (such as strong profunctors) in OCaml. Session page: https://fun-ocaml.com/2025/static-websites-functional-programming/ 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