Search videos
View all results →
← Browse conferences
Rust's trait system is a proof engine, let's make it prove us an ABI!
RustLab Conference
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.