Rust Search
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.
Player unavailable or embedding blocked? Use the YouTube link above.
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.
