~/talk

Monads in Modern C++

on YouTube 01h 05m
Talkat CppCon 2023 · on Thursday, 2023-10-05· at 09:00· Cottonwood 8/9, 6700 North Gaylord Rockies Boulevard· [machine-learning]

speakers

name:Georgi Koyrushki
links:none on file
name:Alistair Fisher
links:none on file

resources

video:https://youtu.be/kZ8rbhGgtv4
slides:none on file

summary

Claims that monadic patterns make C++ clearer and safer are backed by concrete work: C++23 adds monadic operations, Bloomberg applies optional monad and vector monad to reduce null checks and loop boilerplate in a multiasset risk system that prices ~1–2 billion derivatives daily, and an internal maybe‑view library lives in production for ~2 years. Implementations use ranges, std::optional/std::expected, futures and a proposed p1255 nullable view to compose transform then join pipelines and they report the approach works in practice.

AI-written summary · about

chapters (9)

  1. 0:00Monads in C++ intro
  2. 1:29Motivation for monads
  3. 5:39Functors theory
  4. 17:13Functors vs monads
  5. 24:15Monads with examples
  6. 32:53Monads in the C++ Standard Library
  7. 43:46Monadic library case study
  8. 57:22Native maybe types matter
  9. 1:04:17Q&A

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.