## +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 Motive? ## Motive: Can it be done in C++? ## Session type ## Session type ? – Albert Einstein "A normal adult programmer never gives a thought about types. That is something which he has tough of and developed so slowly that I did not begin to wonder about types until I was an adult." "A normal adult programmer never gives a thought about types. That is something which he has tough of and learned

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

## KubeEdge Demo Session Jun Du Huawei Cloud ## Cloud To Edge ## Low Latency • AR/VR: ms level • Industrial Control: us level ## High Availability • Availability: > 99.999% • Response Time: Predictable

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

## Cookie, Session 与HTTP请求 杨亮  ## Web基本流程 请求页面 对应文件 获取数据 PC Mobile HTTP 请求 html css javascript 服务器 (Apache) [Image](/uploads/documents/3/6/c/e/36ce07e9f002f9754c19fef0732209aa/p5_2.jpg) 无状态 头部 内容 (html) Session  ## Cookie 保存在浏览器端的用户数据，用以进行会话控制 name="password"/> Session 保存在服务器端的用户数据，用以进行会话控制 每个会话有一个session id存在Cookie中，用以标示session Session由于是存在服务器端，只能由服务器端脚本(PHP)设置 ![Image](/uploads/documents/3/6/c

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

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

UnknownMessage ## • 回复 o TextReply. o ArticlesReply. o MusicReply. • Session 开启 Session 修改 Handler 以使用 Session - 可用的 Session Storage WeRoBot.Client —— 微信 API 操作类 • 部署 在独立服务器上部署 在SAE上部署 ## 小工具 ere') def handler(message): # Do what you love to do pass robot.add_handler(handler, types=['text', 'location']) robot.run() 通过 robot.handler 添加的 handler 将收到所有信息；只有在其他 handler 1. ## Session WeRoBot 0.4.0 中增加了功能强大的 Session 系统，你可以通过 Session 轻松实现用户状态的记录，享受如同 Web 开发般的便捷。 一个简单的使用 Session 的 Demo robot = werobot.WeRoBot(token=werobot.utils.generate_token(), enable_session=True)