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

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