The OCaml Planet

This is the seventh in a series about locals in OCaml. This episode explains the challenges around tail-call optimization and how to keep local variables from escaping their region. I introduce the [@nontail] annotation to prevent tail-call optimization, which is often needed when writing code with locals. Code used in this video: https://github.com/goldfirere/janestreet-videos/blob/main/locals/07-tails/local.ml View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions

Welcome to a new episode of The Flambda2 Snippets! Today's topic is Loopify, one of Flambda2's many optimisation algorithms which specifically deals with optimising both purely tail-recursive and/or functions annotated with the [@@loop] attribute in OCaml. A lazy explanation for its utility would be...

Announcing DBCaml, Silo, Serde Postgres and a new driver for postgres

Hacking retreats are great ways for programmers to connect, explore new ideas, and learn from each other. One of the most popular OCaml…

In this post, I will present some work that we did on the GnuCOBOL compiler, the only fully-mature open-source compiler for COBOL. It all started with a bug issued by one of our customers that we fixed by improving the preprocessing pass of the compiler. We later went on and optimised it to get bett...

Uncaught exception: Not_found This blog post probably won't teach anything new to OCaml veterans; but for the others, you might be glad to learn that this very basic, yet surprisingly little-known feature of OCaml will give you backtraces with source file positions on any uncaught exception. Since i...

In 2022, Multicore OCaml became reality. Programming on multiple threads brings new possibilities, but also new complexities. In order to…