Lost in translation?! Robotics with type-safe coordinate systems

In robotics, mixing up coordinate frames can silently break systems and cause hard-to-debug behavior. In this talk, we present a Rust crate designed to make these kinds of errors impossible by encoding coordinate frames directly into the type system. We walk through how this works, how we achieve zero runtime overhead and improve code clarity. We ground the talk in our real-world use case: Robot soccer. If you’re interested in building safe robotics systems or just enjoy creative uses of Rust’s type system, this talk is for you.