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

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

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

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

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)

GITHUB DOCS ## Session ### app.py ## ☐ ☐ ☐ from flask import Flask, session app = Flask(__name__) app.secret_key = 'secret' @app.route('/') def hello(): session['msg'] = Server: Werkzeug/0.15.5 Python/3.7.4 Set-Cookie: session=eyJtc2ci0iJIaSJ9.XXs2mA.GAZzFxyv_RCuX-zyR6oXPB0PRXI; HttpOnly; Path=/ Vary: Cookie ## session payload eyJtc2ciOiJIaSJ9 XXs2mA timestamp G itsdangerous to dependencies ## WHAT IS itsdangerous e.g. session koajs expressjs Cookie: session=xxx Cookie: session.sig=xxx session.sig = Sign(session, secret) ## self-made ## 4 Json Web Signature ## JWS