Monads in Modern C++

This introductory talk explains monads through theory and coding examples, starting with functors as a building block. It uses C++ examples, including std::vector and std::optional, to demonstrate functional pipelines and reviews C++ monadic support.

Syllabus

Introduction
What makes C
What is a functor
Is this the first time we have seen a functor
Can we go beyond that
Optional
Functor
F function
Conditional checks
Why should I care
What went wrong
Join
Joining
Helper function
Formal Definition
Vector Monad
Vector of Files
Range Join
Filtering
Simulations
Evolve Boards
Cartesian Products
Other Monads
Style Optional
Option
Expected
Parsing
TL Expected
Ranges
Future
Asynchronous
Two fundamental issues
A continuation
B continuation
Possible fixes
Stud Execution Framework
CPlusMoradic Interface
Walkthrough
Type aliases
Business logic