A representation of Speculative Inlining through the famous Weighing Of The Heart of Egyptian Mythology. Egyptian God

Flambda2 Ep. 3: Speculative Inlining

submited by
Style Pass
2024-09-05 14:30:06

A representation of Speculative Inlining through the famous Weighing Of The Heart of Egyptian Mythology. Egyptian God Anubis weighs his OCaml function, to see if it is worth inlining. Credit: The Weighing of the Heart Ceremony, Ammit. Angus McBride (British, 1931-2007)

A representation of Speculative Inlining through the famous Weighing Of The Heart of Egyptian Mythology. Egyptian God Anubis weighs his OCaml function, to see if it is worth inlining. Credit: The Weighing of the Heart Ceremony, Ammit. Angus McBride (British, 1931-2007)

The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and Compilation; with many more years of expertise in all aspects of Computer Science and Formal Methods.

Today's article will serve as an introduction to one of the key design decisions structuring Flambda2 that we will cover in the next episode in the series: Upward and Downward Traversals.

Leave a Comment