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

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

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

AWS SSO AWS Permissions GCP Credentials GCP SSO Local Client Configuration Connection Types Configure Connection Initialization Settings Tableau integration Transactions Auto and Manual context menu items for all types of objects that may appear in the tree. Note that the presence or absence of the context menu items for an object depends on the database and object types. |Menu item|Description| To reset the filter, click the Clear icon (✗) on the right end of the field. You can select the types of filtering objects in the drop-down list on the right. And also use the filter only for active connections

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

d’index géométriques 68 6.3 Eviter les conversions de 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 CG_ApproxConvexPartition 512 8. 3.19 ST_ApproximateMedialAxis . . . . . 9 Topologie 550 9.1 Les types associés à "Topology" 550 9.1.1 getfaceedges_returntype 550 9.1.2 TopoGeometry 551 9.1 ------ Name | postgis_raster Version | 3.0.0dev Schema | public Description | PostGIS raster types and functions -[ RECORD 3 ]---------------------------------------------------- Name | postgis_tiger_geocoder