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

4.1.2.4 MultiCurve 32 4.1.2.5 MultiSurface 32 4.1.3 WKT et WKB 33 4.2 Type de données Geometry 34 4.2.1 PostGIS EWKB et EWKT 34 4.3 Type de données Geography 36 4.3.1 Création de tables géographiques par l'utilisateur 46 4.6 Tables spatiales 46 4.6.1 Créer une table spatiale 46 4.6.2 Vue GEOMETRY_COLUMNS 47 4.6.3 Enregistrement manuel des colonnes de géométrie 48 4.7 Chargement des données dimension 68 7 Référence PostGIS 70 7.1 Types de données PostGIS Geometry/Geography/Box 70 7.1.1 box2d 70 7.1.2 box3d 71 7.1.3 geometry 71 7.1.4 geometry_dump 72 7. 1.5 geography . . . . . 7. 4.12

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

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 Two just like any other named type—for example, to create a collection of objects that have different types but that all conform to a single protocol. When you work with values whose type is a protocol type

3.4.2 Hard upgrade ... 26 # 4 Data Management ... 28 4.1 Spatial Data Model ... 28 4.1.1 OGC Geometry ... 28 4.1.1.1 Point ... 29 4.1.1.2 LineString ... 29 4.1.1.3 LinearRing ... 29 31 4.1.2.4 MultiCurve ... 31 4.1.2.5 MultiSurface ... 31 4.1.3 WKT and WKB ... 32 4.2 Geometry Data Type ... 33 4.2.1 PostGIS EWKB and EWKT ... 33 4.3 Geography Data Type ... 35 4 type ... 37 4.3.4 Geography Advanced FAQ ... 37 4.4 Geometry Validation ... 38 4.4.1 Simple Geometry ... 38 4.4.2 Valid Geometry ... 40 4.4.3 Managing Validity ... 42 4.5 Spatial Reference

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

Editors - 3D Viewport - Image Editor - UV Editor - Compositor - Texture Nodes - Geometry Node Editor - Shader Editor - Video Sequencer - Movie Clip Editor - Dope Sheet - ## Modeling Introduction Meshes Curves Surfaces Metaball Text Volumes Empties Modifiers Geometry Nodes - Sculpting & Painting o Introduction o Brush o Navigation o Modes - Layers & Passes - Render Output - Compositing - Introduction - Sidebar - Node Types - Motion Tracking & Masking - Introduction - Motion Tracking - Masking - Video Editing