Definition-Checked Generics - Part 2 - The Why and How

Definition-Checked Generics - Part 2 - The Why and How

Explore definition-checked generic programming in this two-part conference talk from CppNow 2023. Dive into the advantages of checked generics over C++20 templates and concepts, examining approaches from C++0x, Swift, Rust, and Carbon. Investigate challenging aspects of implementing definition-checked generics in C++-like languages, including undecidability and non-termination issues. Learn from industry experts Chandler Carruth, Josh Levenberg, and Richard Smith as they discuss their work on the Carbon language project and propose solutions to key problems in generic programming systems.