Monadic Operations in Modern C++: A Practical Approach2About me ● Vitaly Fanaskov ● Senior software engineer at reMarkable ● 10+ years of C++ experience ● GIS, VFX, frameworks, and libraries ● Ph (CS) 3Agenda ● Briefly about expected and optional ● Common use cases of expected ● Monadic operations in software development ● Tips and tricks 4In this talk ● Less theory ● C++ only ● Practical a new widget {}: {}.", widgetBox.value(), error); } } 22How do we handle this? 23Monadic operations: and_then if (const auto widgetBox = getNewWidget(); widgetBox.has_value()) { const auto

Title: Pipeline architectures in C++: overloaded pipe operator | std::expected and its monadic operations Brief overview: Functional programming in C++ is gaining importance and is attracting programmers operator | will be presented, as well as I’ll explain std::expected and especially its monadic operations that can be tricky in practice. All these together present novel and efficient programming paradigms What's more, std::expected itself allows you to build pipelines – this time using its monadic operations. In this poseter I will explain details how to build your own pipeline architecture in modern

machine. The instructions of an abstract machine are tailored to the particular operations required to implement operations of a specific source language or class of languages.” (my emphasis) - Stephan end • There is no room for another language between C++ and the hardware • C++ maps types and operations directly onto hardware • Fundamental C++ types (e.g., char, int, double) map directly into memory directly to hardware addressing capabilities • Modern hardware supports useful arithmetic/logical operations on those entities CppCon 2020 - The Abstract Machine 16Copyright © 2020 Bob Steagall K E W B

s()  Construct string(_view) From nullptr  basic_string::resize_and_overwrite()  Monadic Operations for std::optional  Stacktrace Library  Changes to Ranges Library  Changes to Views Library s()  Construct string(_view) From nullptr  basic_string::resize_and_overwrite()  Monadic Operations for std::optional  Stacktrace Library  Changes to Ranges Library  Changes to Views Library s()  Construct string(_view) From nullptr  basic_string::resize_and_overwrite()  Monadic Operations for std::optional  Stacktrace Library  Changes to Ranges Library  Changes to Views Library

and one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 6 Mathematical Operations and Elementary Functions 30 6.1 Arithmetic Operators . . . . . . . . . . . . . . . . . . . . Triple-Quoted String Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 8.7 Common Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 8.8 Non-Standard String Aliases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 12.14 Operations on Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 12.15 Custom

and one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 6 Mathematical Operations and Elementary Functions 30 6.1 Arithmetic Operators . . . . . . . . . . . . . . . . . . . . Triple-Quoted String Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 8.7 Common Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 8.8 Non-Standard String Aliases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 12.14 Operations on Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 12.15 Custom

and one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 6 Mathematical Operations and Elementary Functions 30 6.1 Arithmetic Operators . . . . . . . . . . . . . . . . . . . . Triple-Quoted String Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 8.7 Common Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 8.8 Non-Standard String Aliases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 12.14 Operations on Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 12.15 Custom

and one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 5 Mathematical Operations and Elementary Functions 26 5.1 Arithmetic Operators . . . . . . . . . . . . . . . . . . . . Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 iCONTENTS ii 7.7 Common Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 7.8 Non-Standard String Aliases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 11.14 Operations on Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 11.15 Custom

and one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 5 Mathematical Operations and Elementary Functions 26 5.1 Arithmetic Operators . . . . . . . . . . . . . . . . . . . . Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 iCONTENTS ii 7.7 Common Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 7.8 Non-Standard String Aliases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 11.14 Operations on Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 11.15 Custom

and one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 6 Mathematical Operations and Elementary Functions 30 6.1 Arithmetic Operators . . . . . . . . . . . . . . . . . . . . Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 6.3 Arithmetic operations with Bool values . . . . . . . . . . . . . . . . . . . . . . . . 31 6.4 Bitwise Operators . . Triple-Quoted String Literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 8.7 Common Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 8.8 Non-Standard String