Explore the engineering constraints and structure of Flambda 2, an intermediate representation and optimization pass for OCaml, in this 22-minute conference talk from OCaML'23. Delve into the design principles that enable efficient compilation of large industrial codebases, with a focus on inlining techniques. Learn how Pierre Chambart, Vincent Laviron, and Mark Shinwell have developed a compiler fast enough to handle complex OCaml projects while maintaining optimal performance.
Overview
Syllabus
[OCaML'23] Efficient OCaml compilation with Flambda 2
Taught by
ACM SIGPLAN