Functional C++ - Exploring Monads and Compositional Patterns

Explore the fundamentals of functional programming in C++ through this comprehensive conference talk from C++Now 2024. Delve into the basic elements of functional programming, its benefits, and compositional patterns. Examine practical applications using std::optional (the Maybe monad), std::expected (the Error monad), and briefly touch on ranges. Discover the validation monad for composable errors and the Choice monad, comparing it to std::variant. Learn how to combine functional programming paradigms with generic programming in C++, supported by numerous examples. Gain insights into the potential of C++ as a functional language and understand how this approach can lead to more provable code. Develop a new perspective on C++'s capabilities and explore the tools needed to leverage its functional programming potential effectively.