## COMPOSABLE C++  ## BEN DEANE / @ben_deane CPPCON 2021 ## I N THIS TALK 1. Composability defined 2. Composable types 4. Composability at compile time 5. Hierarchies and computation ## COMPOSABLE? What does "composable" mean? Composable, reusable, extensible, flexible...? Simple? Do we recognize composability bool ## The simplest composable return type is bool auto do_a_thing() -> void; auto do_a_thing_more_composably() -> bool; Simple, but important. ## WHY IS bool COMPOSABLE? ## The simplest form

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

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

## 可组合的 Vue Composable Vue, 编写可组合可复用的 Vue 函数的最佳实践与技巧 ANTHONY FU Hangzhou, China 2021 ## Anthony Fu Vue 核心成员 / Vite 团队成员 VueUse, Slidev, Type Challenges 等项目创作者 全职开源 antfu antfu7 知 Anthony Fu antfu

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

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