## +24 ## Session Types in C++: A Programmer's Journey ## MIODRAG MISHA DJUKIC ## About me Faculty of Technical Sciences, University of Novi Sad, Serbia Teaching... a lot... Background in compilers never 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." never 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."

## Back to Basics: Algebraic Data Types I also do C++ training! arthur.j.odwyer@gmail.com ## Outline - Why the name “algebraic data types”? [3–18] o Memory layout diagrams. Why not std::any? • Quick [50–56] Questions? • More about pair and tuple [57–69] Questions? ## What do I mean by algebraic types? pair C++98. The original algebraic data type. tuple C++11. optional C++17. variant C++17 possible values| ## Pair and 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. |A|A possible values| |---|---| |pair<A

## Using ECC Workload Certificates ## (pilot-agent environmental variables) Jacob Delgado / Aspen Mesh ## I stioCon ## ECC workload certificates - In various environments, the need for x509 certificates use this feature • Only ECDSA P-256 is supported ## pilot-agent environmental variables Disclaimer: Environmental variables and their use are considered experimental. There is no guarantee that they will path and 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 ## Other environmental variables There are many other

reach me on Twitter @flaviocopes. Enjoy! ## The C Handbook • 1. Introduction to C • 2. Variables and types • 2.1. Integer numbers • 2.2. Unsigned integers • 2.3. The problem with overflow • 11.1. printf() o 11.2. scanf() • 12. Variables scope • 13. Static variables • 14. Global variables • 15. Type definitions • 16. Enumerated Types • 17. Structures • 18. Command line parameters it's this good for embedded devices that have a very limited amount of resources. ### 2. Variables and types C is a statically typed language. This means that any variable has an associated type, and

## EMBRACING USER DEFINED LITERALS SAFELY ## for Types that Behave as though Built-in Pablo Halpern phalpern@halpernwightsoftware.com CppCon 2021 ## literal [ lit-er-uhl ] ## adjective 1. in accordance KHLEBNIKOV | ALISDAIR MEREDITH ## Talks in this series: ■ 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 Embracing PODs Safely Until They Die – Alisdair Meredith &

3 Types and Functions 7 3.1 Primitive Types 7 3.2 Data Types 8 3.3 Functions 8 3.4 Dependent Types 10 3.5 I/O 12 3.6 "do" notation 13 3.7 Laziness 13 3.8 Useful Data Types 14 conventional programming languages, there is a clear distinction between types and values. For example, in Haskell, the following are types, representing integers, characters, lists of characters, and lists inhabitants of those types: • 42, 'a', Hello world!, [2, 3, 4, 5, 6] In a language with dependent types, however, the distinction is less clear. Dependent types allow types to “depend” on values

## BEN DEANE / @ben_deane CPPCON 2021 ## I N THIS TALK 1. Composability defined 2. Composable types 3. Objects and patterns 4. Composability at compile time 5. Hierarchies and computation ## COMPOSABLE _composably() -> int; Spoiler: bool and int are in some sense the only two composable return types we need... ## WHY int? Of course, int can represent N (32?) bools, using bitand (&) and bitor COMPOSABILITY FROM PRINCIPLES At the core, steering behaviours is based on the composability of arithmetic types. A single function returns a force that can be accumulated and applied. The resulting framework

real-time applications. ## Wave Digital Filters ## Wave Variables Wave Digital Filters (WDFs) use “wave variables” instead of Kirchhoff variables (voltage/current) • “Incident” wave: $ a = v + R_{0}i 53f98eec15eb1bdadb1573/p1_3.jpg) b a ## Wave Digital Filter Rules • Each “port” has three variables: incident wave, reflected wave, port impedance • “Leaf” nodes are 1-port: resistor, capacitor, capacitors, inductors, diodes, and more. The implementations can be used with both scalar and SIMD data types, and the library can be extended to support custom circuit elements. The library is licensed under

reach me on Twitter @flaviocopes. Enjoy! ## The Swift Handbook • 1. Introduction to Swift • 2. Variables • 3. Objects • 4. Operators • 4.1. Assignment operator 4.2. Arithmetic operators o 4.3. Compound a series of awesome examples and tutorials to expand your Swift and iOS knowledge. ### 2. Variables Variables let us assign a value to a label, and are defined using the var keyword: var name = "Roger" "Roger" var age = 8 Once a variable is defined, we can change its value: age = 9 Variables that you do not want to change can be defined as constants, using the let keyword: let name = "Roger"

"foo2") @enduml  Variables defined in functions are local. It means that the variable is destroyed when the function is exited by default (they are destroyed when the function is exited). However, you can access to global variables from function. However, you can use the local keyword to create a local variable if ever a global