Back to Basics: Algebraic Data Types## 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 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, with minor tweaks to 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<A0 码力 | 73 页 | 267.05 KB | 1 年前3
Session Types in C++## +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."0 码力 | 89 页 | 1.55 MB | 1 年前3
Real-Time Unified Data Layers:
A New Era for Scalable Analytics,
Search, and AIUnified Data Layers: A New Era for Scalable Analytics, Search, and AI # Table of Contents 1\. Introduction 2. The Interconnection of Analytics, Search, and AI 3. What is a Real-Time Unified Data Layer Layer? 4. Why Do You Need a Real-Time Unified Data Layer? 5. CrateDB: A Modern Real-Time Unified Data Layer ### 1. Introduction Data teams are facing more challenges than ever. As applications generate and and consume unprecedented volumes of data across a growing number of sources and formats, data engineering and architecture teams must design systems that not only scale but also deliver real-time access0 码力 | 10 页 | 2.82 MB | 1 年前3
webpack 5 whats new## WEBPACK 5 – WHAT'S NEW TOBIAS KOPPERS TWITTER: @WSOKRA GITHUB: @SOKRA ## ORGANIZATION • WEBPACK 5 → WEBPACK CORE (webpack/webpack) MAJOR VERSION 5 • OTHER REPOS DEVELOP INDIVIDUALLY → SEPARATE } } } WEBPACK 4 • STYLES.CSS 200KB • STYLES.JS 10BYTES WEBPACK 5 • STYLES.CSS 200KB SOURCE TYPES WEBPACK 4 [2] 2.bundle.js 135kb splitChunks: minSize: 10 000, maxSize: 100 000 WEBPACK 5 [324] request, callback) => {} new IgnorePlugin( /some-regexp/ ) new BannerPlugin("Some banner") ## WEBPACK 5 new IgnorePlugin({ resourceRegExp: /some-regexp/ }) new BannerPlugin({ banner: "Some0 码力 | 46 页 | 15.88 MB | 2 年前3
whats new in visual studio## +21 ## What's New in Visual Studio: 64-bit IDE, C++20, WSL 2, and More ## MARIAN LUPARU, SY BRAND 20 21 October 24-29 ## What's New In Visual Studio 64-bit IDE, C++20, WSL2, and More Marian Code Safety 3. Cross-platform development 4. Developer and Team Productivity ## Static Analysis New and improved checkers in MSVC Code Analysis • Returning a local variable with std::move • Path-sensitive https://aka.ms/asan • Fuzzing with libFuzzer https://aka.ms/cpp/libfuzzer int main() { int* array = new int[100]; array[100] = 1; } Exception Unhandled 4 X Address Sanitizer Error: Heap buffer overflow0 码力 | 42 页 | 19.02 MB | 1 年前3
What's new with
GitOps and OpenShift## What's new with GitOps and OpenShift Jonas Janz AppDev Solutions Architect https://github.com/pixeljonas ## What is GitOps? GitOps is when the infrastructure and/or application state is fully "caller":"logging/config.go:69","msg":"Fetch GitHub commit ID from kodata failed:"KO_DATA_PATH\{"does not exist or is empty"} [run-kubectl] serviceaccount/demo-sa unchanged [run-kubectl] Tasks • Community-contributions • OCI artifacts for task distribution • Additional Tekton resource types in Hub ## Long Term (9+ months) • Pipeline pause and resume • Partial pipeline execution CORE0 码力 | 34 页 | 2.01 MB | 1 年前3
Nim,A new approach to meta programmingAuthor: Andreas Rumpf ## A new approach to metaprogramming ## Talk structure 1. What is Nimrod? 2. Implementation aspects 3."Hello World" 4. Meta programming features 5. Optimizing "Hello "first call of p" 09 echo "some call of p" 10 11 12 p() 13 once: 14 echo "new instantiation" 15 p() ## Meta programming features ### 2. for control flow abstraction: 01 template call of p" 10 p() 11 once: 12 echo "new instantiation" 13 p() ## Produces: first call of p some call of p new instantiation some call of p ## Copyright © 2013 Andreas Rumpf0 码力 | 45 页 | 360.68 KB | 1 年前3
nativescript-new-looper-vantoll.pptx## What's new with NativeScript! □ 2.3 is ready to rock! ## ☐ TJ and Jen ☐ @tjvantoll @jenlooper ## What's new in • Core ☐ • Tooling □ • Plugins □ • Community □ • Apps □ ## Core □ Core □ Alissa's ballet class fee PART OF NativeScript PRO ## UI for NativeScript 🔍📚 ## • Dataform is new!  ensuring the data security and compliance for enterprises. The database auditing feature can help managers in enterprises track the source and impact of database operations to ensure that data would not be audited. The following external tool operations are audited: • Writes from TiCDC • Writes via TiDB Data Migration (DM) • Backup operations by the BR commands using the SQL interface The following operations |QUERY|Record all operations of SQL statements, including all errors about querying and modifying data|\-| |TRANSACTION|Record all operations related to transactions, such as BEGIN, COMMIT, and ROLLBACK|QUERY|0 码力 | 23 页 | 328.42 KB | 2 年前3
What's New In Apache Ozone 1.3云数智聚 砥柱笃行 # CHINA APACHE HADOOP MEETUP 2022 2022年09月24日 9:00 上海古井假日酒店4楼 ### What's new in Apache Ozone 1.3 陈怡 Apache Ozone PMC 主席 ## 目录 I. Ozone 构架 II. Ozone 1.3 新功能 III. 未来展望 ## CHINA APACHE B-2-d 条带1 Chunk11MB 条带2 Chunk4 1MB 客户端 DN2 data1 C-2 B-2-d Chunk2 1MB Chunk51MB data2 DN3 C-2 DN4 B-2-d DN5 C-2 B-2-p C-2 B-2-p data3 Chunk61MB Parity1 1MB 












