Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- kennen:include:expected [2024-11-01 20:04] – [Methoden] rrichter
+++ kennen:include:expected [2024-11-01 20:33] (aktuell) – [Monadische Operationen] rrichter
@@ Zeile 35: / Zeile 35: @@
 | ''error_or(e)''  | Alternative, falls erwarteter Wert vorhanden |
-Außerdem sind "monadische" Operationen als Methoden definiert.
+===== Monadische Operationen =====
+> Monad: a monoid in the category of endofunctors
+> -- James Iry
+> Once you understand, you lose the ability to explain.
+> -- https://news.ycombinator.com/item?id=22417583
 Diese rufen in Abhängigkeit vom Vorhandensein eines Wertes eine Funktion ''f'' auf.
 Im Ergebnis entsteht wiederum ein ''std::expected<_,_>''.
@@ Zeile 45: / Zeile 51: @@
 | ''transform(f)'' | ''f(value())'' | | ''R2'' |
 | ''transform_error(f)'' | | ''f(error())'' | ''E2'' |
+Mit den monadischen Operationen lassen sich Verarbeitungsschritte und eventuell auftretende Fehler verketten:
 <code cpp name_of_weekday.cpp>
@@ Zeile 54: / Zeile 62: @@
 struct Date { int y, m, d; };
-auto leapyear(int y) {
+auto leapyear(int y)
+{
   return (y % 4 == 0 && !(y % 100 == 0)) || y % 400 == 0;
 }