2024

• Flambda2 Ep. 2: Loopifying Tail-Recursive Functions

Articles tagged by loopify

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... (Read more)

2026

• Opam 104: Sharing Your Code

2025

• OCaml Onboarding: Introduction to the Dune build system
• opam 2.4 release
• Opam 103: Bootstrapping a New OCaml Project with opam
• Flambda2 Ep. 4: How to write a purely functional compiler

2024

• opam 2.3.0 release!
• Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans
• Alt-Ergo 2.6 is Out!
• Flambda2 Ep. 3: Speculative Inlining
• opam 2.2.0 release!
• Flambda2 Ep. 2: Loopifying Tail-Recursive Functions
• Fixing and Optimizing the GnuCOBOL Preprocessor
• OCaml Backtraces on Uncaught Exceptions
• Opam 102: Pinning Packages
• Flambda2 Ep. 1: Foundational Design Decisions
• Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap
• Lean 4: When Sound Programs become a Choice
• Opam 101: The First Steps

2023

• Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
• The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!