gives a thought about types. That is something which he has tough of and learned as a child. I, on the contrary, developed so slowly that I did not begin to wonder about types until I was an adult.“ gives a thought about types. That is something which he has tough of and learned as a child. I, on the contrary, developed so slowly that I did not begin to wonder about types until I was an adult.“ is a type? Depends on who you ask. So called “dependent type”? 16What are types used for in programming? 17What are types used for in programming? • Similar to money and its roles: • Medium of exchange

Back to Basics: Algebraic Data Types I also do C++ training! arthur.j.odwyer@gmail.com Arthur O’Dwyer 2020-09-16Outline ● Why the name “algebraic data types”? [3–18] ○ Memory layout diagrams. Why Questions? ● More about pair and tuple [57–69] Questions? 2What do I mean by algebraic types? pair C++98. The original algebraic data type. tuple C++11. optional C++17. variant tuple are product types To find the size of the domain of a pair or tuple type, we take the product of the sizes of its element types. Therefore pair and tuple are known as product types. 5 A A possible

EMBRACING USER DEFINED LITERALS SAFELY for Types that Behave as though Built-in Pablo Halpern phalpern@halpernwightsoftware.com CppCon 2021 This work by Pablo Halpern is licensed under a Creative Embracing User Defined Literals Safely for Types that Behave as though Built-in – Pablo Halpern, Tuesday 9am ■ Embracing (and also destroying) Variant Types Safely – Andrei Alexandrescu, Thursday 9am 10/26/21 Pablo Halpern, 2021 (CC BY 4.0) 10Minimizing the divide between builtin and user-defined types ■ Operator overloading allows the syntax for assigning, comparing, and streaming a std::string to

std::simd how to express inherent parallelism efficiently via data-parallel types Dr. Matthias Kretz GSI Helmholtz Center for Heavy Ion Research CppCon ’23 @mkretz@floss.social github.com/mattkretzMotivation ResearchMotivation std::simd Overview Example: Image Processing Programming Models Outlook Summary Data-Parallel Types One variable stores WT values. One operator signifies WT operations (element-wise). W for “width”; vectorizable type — all arithmetic types except bool or long double • simd_mask behaves like bool (element-wise) In contrast to bool, there are many different mask types: • storage: bit-masks vs. element-sized

1 Resources . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 Variables 7 3.1 Allowed Variable Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Coroutines) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 10 Scope of Variables 105 10.1 Global Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 11 Types 120 11.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 11.2 Abstract Types . . . . . . . . . . . . . . . . . .

1 Resources . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 Variables 7 3.1 Allowed Variable Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Coroutines) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 10 Scope of Variables 105 10.1 Global Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 11 Types 120 11.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 11.2 Abstract Types . . . . . . . . . . . . . . . . . .

3 Alternative installation methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Variables 10 4.1 Allowed Variable Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Coroutines) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 11 Scope of Variables 111 11.1 Global Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 12 Types 127 12.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 12.2 Abstract Types . . . . . . . . . . . . . . . . . .

3 Alternative installation methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Variables 10 4.1 Allowed Variable Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Coroutines) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 11 Scope of Variables 111 11.1 Global Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 12 Types 127 12.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 12.2 Abstract Types . . . . . . . . . . . . . . . . . .

3 Alternative installation methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Variables 10 4.1 Allowed Variable Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Coroutines) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 11 Scope of Variables 111 11.1 Global Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 12 Types 127 12.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 12.2 Abstract Types . . . . . . . . . . . . . . . . . .

3 Alternative installation methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Variables 10 4.1 Allowed Variable Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Coroutines) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 11 Scope of Variables 111 11.1 Global Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 12 Types 127 12.1 Type Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 12.2 Abstract Types . . . . . . . . . . . . . . . . . .