Check Before You Wreck: Enforcing Safety in Monadic Types

Hi Everybody,

I hope you all had a good break over the summer. I am very pleased to announce, that for September's talk, we have Nick Deguillaume who will be speaking about how C++ class wrappers can be used to mitigate pitfalls when using monadic types.

Please find the abstract for the talk below. The talk will be hosted at the Blu Wireless offices (at One Castlepark, Tower Hill, BS2 0JA). Please note that the talk will be in the Business Lounge on the ground floor and not in the Blu Wireless office.

As usual, there will be a trip to the Cornubia afterwards :-) !

Looking forward to seeing you all and take care,

Jim

Check Before You Wreck: Enforcing Safety in Monadic Types

std::optional and std::expected are powerful tools for reducing or even eliminating exceptions, bringing clarity and stronger design to large codebases. Yet both come with significant pitfalls. This talk explores how class wrappers can mitigate these issues and how the same techniques extend naturally to pointers, smart pointers, and other types that can be viewed through a monadic lens.