Definition-Checked Generics, Part 1 - The Why and How

Explore definition-checked generic programming in this comprehensive conference talk from CppNow 2023. Dive into the advantages of checked generics over C++20 templates and concepts through a series of examples. Compare approaches from C++0x concepts, Swift, Rust, and Carbon, examining how they achieve fundamental benefits of definition checking. Investigate how this form of generic programming provides a better foundation across various language aspects. Delve into challenging aspects of building a compelling definition-checked generics system, surveying existing approaches and discussing limitations like undecidability and non-termination. Learn from industry experts Chandler Carruth, Josh Levenberg, and Richard Smith as they share insights from their work on the Carbon language project and explore the future of generic programming in C++ and C++-like languages.