Functional C++

on YouTube ↗01h 47m

" summary

Walks through applying functional patterns to real C++: uses std::optional (Maybe), std::expected (Error), ranges, and a custom validation/Choice monad; builds a sum/pack library that makes overload sets composable so errors and multiple-dispatch are tracked in types. Claims this was used in a Citadel Securities crypto trading stack, yields fewer runtime bugs, stronger compile-time proofs, excellent runtime performance but heavier compile times, and one production hiccup around shared_ptr. Mentions ongoing proposals (p2300, p283) and open source slides/code.

AI-written summary · about

" chapters (10)

1. 0:00Introduction and motivation
2. 3:24The role of context
3. 7:36Monads as compositional tools
4. 14:26Applying optional monads
5. 20:23Refactoring with monads
6. 34:52The expected monad
7. 44:06Parser implementation
8. 52:23Error handling with sums
9. 1:06:56Composition with packs
10. 1:25:45Advanced composition and Q&A

" related talks

• 01h 02mFunctional C++Kevlin Henney · Build Stuff 2016
• 01h 04mFunctional C++ For Fun And ProfitPhil Nash · ACCU 2017
• 01h 31mFunctional Programming in Modern C++: The Imperatives Must Go!Victor Ciura · ACCU 2023
• 29m“Functional programming: functors and monads"Michał Dominiak · CppCon 2015
• 57mAnd Then() Some(T) Functional Adventures With C++23 std::optional and std::expectedVictor Ciura · CppNorth 2023
• 01h 01mFunctional C++Kevlin Henney · NDC London 2017
• 49m“Applying functional programming in code design"Michał Dominiak · CppCon 2015
• 01h 03mHigher order functions for ordinary C++ developersBjörn Fahller · NDC Oslo 2018