Monade
Functionele abstractie om berekeningen aan elkaar te schakelen die context meedragen: Optional, Result, Promise en List zijn allemaal monades, of de taal ze nu zo noemt of niet.
Een type M<T> is een monade als het twee bewerkingen heeft: of (een waarde in de context tillen) en flatMap/bind (een functie T → M<U> koppelen zonder te nesten). Zo laten zich bewerkingen combineren die kunnen mislukken, asynchroon zijn of meerdere waarden opleveren, zonder dat elke stap eigen foutafhandeling nodig heeft.
Berucht slecht uitgelegd (“een monoïde in de categorie van endofunctoren”). In de praktijk: wie Promise.then of de ?-operator van Rust heeft gebruikt, heeft met monades gewerkt.