Articles liés

Articles avec le tag ep2

Site

Catégories

Flambda2 Ep. 2: Loopifying Tail-Recursive Functions

Auteurs: Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron, Dario Pinto
Date: 2024-05-07
Catégorie: OCaml
Tags: Flambda, Flambda2, loopify, optimisation, f2s, ep2, loopify, tailcall, tail-recursion

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... (Lire plus)