Ecosystem engineer at Citadel Securities. I cultivate a diverse development ecosystem and the heavy machinery to do it.
The talk runs through the basic elements of functional programming, why we want to do it, and some compositional patterns. It then switches to explain these concepts on std::optional (the Maybe monad), std::expected (the Error monad), and how they change with the introduction of the sum-pack construction, which is also introduced in depth. The sum-pack construction makes Optional and Expected much, much more powerful; the talk introduces the patterns behind functional composition in c++.