Interactive Tooling Support for the Migration to Strong Types in C++

Explore an in-depth conference talk on interactive tooling support for migrating to strong types in C++. Discover a method that allows developers to mark values as strong types while maintaining compilable code throughout the migration process. Learn about using attributes and compiler extensions to "color" program elements, automatically generating new strong types based on discovered interfaces, and the interprocedural nature of this approach. Gain insights into the concept of strong typing, existing methods, and a demonstration of the toolset on a small project. Understand the implementation details based on LLVM/Clang for C11 and ongoing efforts to extend support for C++ elements.