### Named Optional Parameters - JavaScript Style Brian Davidson (briandavidson@meta.com) ## Summary C++ developers often run into the situation where we have multiple parameters in a function with the better? Optional named arguments are previously thought to not be possible in C++. Is it possible to write such function calls in C++? ## The benefits would be: ■ Each argument is named, so it is clear ability to implicitly construct without stating a value. The Value struct illustrates what the 2...n types would need as a data member. struct Value { Value() = delete; Value(bool state) : state_{state}

## +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

Swift feels familiar to Objective-C developers. It adopts the readability of Objective-C's named parameters and the power of Objective-C's dynamic object model. It provides seamless access to following its name with a list of arguments in parentheses. Use -> to separate the parameter names and types from the function's return type. func greet(name: String, day: String) -> String { return ## Enumerations and Structures Use enum to create an enumeration. Like classes and all other named types, enumerations can have methods associated with them. enum Rank: Int { case Ace = 1 case

## MATTHIAS KRETZ # std::�md how to express inherent parallelism efficiently via data-parallel types Dr. Matthias Kretz GSI Helmholtz Center for Heavy Ion Research CppCon'23 ## Goals and non-goals simd" concept for more generality! ## std::�md Overview ## Data-Parallel Types One variable stores $ W_{T} $ values. One operator signifies $ W_{T} $ operations (element-wise) 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

## 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 4.3 Functors and Applicatives 23 4.4 Monads and do-notation 23 4.5 Idiom brackets 25 4.6 Named Instances 26 4.7 Determining Parameters 27 5 Modules and Namespaces 29 5.1 Export Modifiers 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

## 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

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 Variables scope • 13. Static variables • 14. Global variables • 15. Type definitions • 16. Enumerated Types • 17. Structures • 18. Command line parameters • 19. Header files • 20. The preprocessor ☐ 20 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 this

jpg) The Idris Tutorial Version 1.3.3 ## Contents 1 Introduction 2 2 Getting Started 3 3 Types and Functions 5 4 Interfaces 22 5 Modules and Namespaces 31 6 Packages 35 7 Example: The Well-Typed 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