A Hammer You Can Only Hold by the Handle

Explore how Rust's type system can be leveraged to encode and enforce API constraints in this 16-minute conference talk from RustFest Zürich 2017. Discover techniques for using affine types and structs as tokens to ensure operations are performed in a specific order and to control user actions. Learn how these approaches can create self-documenting APIs by preventing disallowed behavior at compile time. Gain insights from Andrea Lattuada, a PhD student and Research assistant at ETH Zürich, as he shares his expertise in type-heavy programming languages and safe, reliable distributed data processing using Rust.