Skip to content
Rust Search
← RustLab 2023

Rust's trait system is a proof engine, let's make it prove us an ABI!

Watch on YouTube ↗
RustLab Conference
RustLab 35:50 15949 views

In this talk, I'll show you how Rust's type system can be abused to build your own ABI in stable Rust: we'll start by making it do algebra, then compute type layouts, and end up with compact sum types. Don't worry, I'll also teach you what an ABI is, and why it matters.

Player unavailable or embedding blocked? Use the YouTube link above.

Other talks by Pierre Avital

Fine, I'll Just Make My Own Stable ABI, with Compact sum-types and Stable `rustc`!

Rust Programming Language
RustConf 31:44 5907 views

Always wanted a stable ABI that could model all of Rust's features? Curious about what ABI even means and why it matters? Or keen to learn how to abuse the type system's Turing completeness? Then this talk is for you. In this talk, I will guide you through the process of creating a stable ABI for Rust (stabby) as a library that supports niche optimizations in enums and multi-trait objects, letting you use all of Rust across the dynamic linkage frontier.