The Fuzion Intermediate Representation
summary
Fuzion provides an IR designed for static verification of safety‑critical code: code is grouped into runtime features with six kinds (routine, abstract, field, choice, intrinsic, native), the middle end performs monomorphisation replaces parametric types, and the IR exposes only about 10 commands with no loop or conditional jump constructs, using recursion and tail‑call optimization instead. Intrinsics model arithmetic and effects; JVM and C back ends and a basic interpreter run generated code, basic analysis tools exist, and the project joins a 25‑partner GreenCode effort.
AI-written summary · about
chapters (6)
- 0:00Fuzion IR introduction
- 1:04Fuzion language overview
- 2:27Safety critical requirements
- 4:37Fuzion toolchain & analysis
- 7:11Fuzion IR structure
- 11:38Project status & plans
related talks
26mTypes as First-Class Values in Fuzion (Extended Abstract)
01h 05mAll the Languages Together
20mMimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
21mSecurely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typ...
16mTowards formally secure compilation of verified F* programs against unverified ML(…)
18mGraph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Af...
23mChisel 6 and beyond
40mSuperfusion: Eliminating Intermediate Data Structures via Inductive Synthesis