Better Code: Exploring Validity in C++ - David Sankel - CppCon 2023

#cpp #cppcon

Better Code: Exploring Validity in C++ - David Sankel - CppCon 2023
https://github.com/CppCon/CppCon2023
https://www.youtube.com/watch?v=wxzQXj6WW2E

Most developers have at least some notion of the meaning of object, state, invariant, value, and invalid. On the other hand, it can be surprisingly
difficult to precisely define these words in a way that matches both
intuition and common usage. This difficulty has even led to divergence within the C++ standard library!

This talk is a journey of discovery where we not only find satisfactory
definitions, but identify practical, good coding practices along the way.
At the end of this talk you'll be able to name implicit contracts,
understand the deep connection between move semantics and exception safety, and, in general, have a greater appreciation for the meaning of the programs we write every day.
---

David Sankel

David Sankel is a Principal Scientist at Adobe and an active member of the C++ Standardization Committee. His experience spans microservice architectures, CAD/CAM, computer graphics, visual programming languages, web applications, computer vision, and cryptography. He is a frequent speaker at C++ conferences and specializes in large-scale software engineering and advanced C++ topics. David’s interests include dependently typed languages, semantic domains, EDSLs, and functional programming. He is the project editor of the C++ Reflection TS, Executive Director of the Boost Foundation, and an author of several C++ proposals including pattern matching and language variants.