Skip to content
Rust Search
← Browse conferences

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

RustLab Conference
RustLab 35:50 15826 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.