Taking Static Type-safety to the Next Level - Physical Units for Matrices
Explore an innovative solution for incorporating physical unit types into vector and matrix types in C++ linear algebra libraries in this conference talk from CppNow 2022. Learn how to leverage C++'s strong type system to provide physical unit annotations for individual matrix elements, enabling coordinate frame and quantity kind annotations. Discover the optimal methods for representing these annotations, their propagation through linear algebra operations, and how they determine valid operations for each type. Gain insights into efficient implementation techniques in C++, with a focus on the game-changing features of C++20. Understand how this approach leads to more expressive code with fewer errors by catching the majority of bugs at compile-time. Explore applications in robotics, computer graphics, automated driving, and other domains working with physical units, different coordinate frames, and matrix operations.