Taking Static Type-Safety to the Next Level: Physical Units for Matrices

Explore a groundbreaking solution for incorporating distinct physical unit types into vector and matrix types from linear algebra libraries in this CppCon 2022 conference talk. Discover how to leverage C++'s strong type system to provide physical unit annotations for matrix elements, enabling coordinate frame and quantity kind annotations. Learn the optimal representation of these annotations, their propagation through linear algebra operations, and how they determine valid operations on each type. Gain insights into efficient C++ implementation techniques, with a focus on C++20's game-changing features. Understand how this approach leads to more expressive code with fewer errors, caught primarily at compile-time. Ideal for developers working in robotics, computer graphics, automated driving, and other domains involving physical units, coordinate frames, and matrix operations.

Taking Static Type-Safety to the Next Level - Physical Units for Matrices - Daniel Withopf CppCon 22