Simplest Strong Typing instead of Language Proposal ( P0109 ) - Peter Sommerlad - [CppNow 2021]

#Boost #Cpp #CppNow
Slides: https://cppnow.org/history/2021/talks/
CppNow Website: https://cppnow.org
CppNow Twitter: @CppNow
Streamed & Edited By Digital Medium Ltd: https://events.digital-medium.co.uk
------
Safer and simpler C++ is the goal of many things I am doing. C++ has a rich and strong type system, except for the holes inherited from C. In this talk we will learn how to circumvent those holes and define useful types for stuff where otherwise we would have used plain ints, doubles, or strings. It demonstrates the simplest strong type mechanism of C++ that also works in C, but also a framework that was designed to make it even simpler to define strong types than what was proposed in P0109 as a language extension. We will also look at the perils of using size_t for capacity, indexing and size of containers and how strong types would have prevented some of their constructor usability issues. This leads to the duality of types used for a 1d vector space with a corresponding affine space that might share internal representation but not the corresponding operations, such as representing number of elements versus the distance between elements in an array.

You can take a look at the strong typing framework PSsst here: https://github.com/PeterSommerlad/PSsst and the language proposal at wg21.link/P0109
------
Peter Sommerlad
Better Software

Peter Sommerlad was director of IFS Institute for Software at FHO/HSR Rapperswil, Switzerland. Peter is co-author of the books POSA Vol.1 and Security Patterns and contributed to "97 things every programmer should know". His goal is to make software simpler and safer by Decremental Development: Refactoring software down to 10% its size with better architecture, testability and quality and functionality. To reach that goal his team and students created the C++ IDE Cevelop. Peter is a member of MISRA-C++, Hillside, ACM, IEEE Computer Society, SI, ACCU, and the ISO C++ standardization committee.
------

May 1, 2022 - May 6, 2022 - Aspen, Colorado
-------------------------
---

*--*

---