Designing a new Language for Safety: Fuzion
summary
Fuzion is a new general-purpose programming language that unifies structured, functional and object-oriented ideas into a single construct called a feature, letting the compiler decide allocation and representation. The talk covers Fuzion’s safety-first choices—design-by-contract pre/post-conditions with selectable static and dynamic verification levels, no exceptions (errors are explicit results), no dynamic loading, and checked numeric operations—and explains how a simple intermediate representation enables strong static analysis and whole-application verification.
AI-written summary · about
related talks
15mThe Fuzion Intermediate Representation
26mTypes as First-Class Values in Fuzion (Extended Abstract)
26mFusing Session-Typed Concurrent Programming into Functional Programming
43mWrite your own domain specific language with F#
16mTowards formally secure compilation of verified F* programs against unverified ML(…)
01h 05mAll the Languages Together
41mAn Introduction to Functional Imperative Programming in Flix
21mSecurely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typ...