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

#IstioCon Using ECC Workload Certificates (pilot-agent environmental variables) Jacob Delgado / Aspen Mesh #IstioCon ECC workload certificates ● In various environments, the need for x509 certificates feature ● Only ECDSA P-256 is supported #IstioCon pilot-agent environmental variables Disclaimer: Environmental variables and their use are considered experimental. There is no guarantee that they will environmental variables as used in this talk will continue to be supported through at least 1.10 to allow users to migrate towards this feature #IstioCon Other environmental variables There are many

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

Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Types as Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.6 Variables and Sections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.8 Dependent Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.9

. . . . . . . . . . . . . . . 23 3 Types 25 3.1 Base types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3.1.1 Ordinal types . . . . . . . . . . . . . . . . . . 26 Boolean types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 Enumeration types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 Subrange types . . . . . . Character types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.1.2 Real types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.2 Character types . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Types of programming languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Data types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Integer types . . . . . . . 65 Floating-point types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Distinct types . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Types of programming languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Data types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Integer types . . . . . . . 65 Floating-point types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Distinct types . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Types of programming languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Data types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Integer types . . . . . . . 65 Floating-point types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Distinct types . . . . . . . . . . .