Monaden in Scala verstehen

Monaden sind ein grundlegendes Konzept der funktionalen Programmierung und gelten oft als fortgeschrittenes Thema. Keine Sorge, wir machen sie verständlich!

Im Kern sind Monaden ein Entwurfsmuster, das Ihnen hilft, Berechnungen mit einem „Kontext“ zu verketten. Sie können sie sich als eine Möglichkeit vorstellen, Seiteneffekte zu verwalten oder möglicherweise fehlende Werte innerhalb einer vorhersehbaren Struktur zu behandeln.

Stellen Sie sich vor, Sie haben einen Wert, der möglicherweise vorhanden ist oder nicht, etwa ein Option[Int]. Wenn Sie mehrere Operationen damit ausführen möchten, aber nur dann, wenn der Wert vorhanden ist: Wie lässt sich das übersichtlich umsetzen?

Verschachtelte if-Anweisungen werden schnell unübersichtlich. Monaden bieten eine klare, sequenzielle Möglichkeit, diese Operationen zu verketten, wobei der „Kontext“ – etwa das Vorhandensein oder Fehlen eines Werts – automatisch weitergegeben wird.

Die wichtigste Operation zum Verständnis von Monaden ist flatMap.

• Sie nimmt eine Funktion entgegen, die einen weiteren „kontextuellen“ Wert zurückgibt, etwa ein Option oder eine List.
• Sie wendet diese Funktion auf den Wert innerhalb des aktuellen Kontexts an.
• Wenn der Kontext leer ist, beispielsweise bei None, gibt flatMap diese Leere einfach weiter, ohne die Funktion anzuwenden.

So können Sie Operationen elegant verketten und dabei mögliche Fehler oder fehlende Werte behandeln.

Scalas Typ Option ist ein perfektes Beispiel für eine Monade. Ein Option kann Some(value) oder None sein.

Wenn Sie flatMap auf ein Option anwenden:

• Bei Some(value) wird die von Ihnen bereitgestellte Funktion auf value angewendet und ihr Ergebnis – ein weiteres Option – verwendet.
• Bei None wird die Funktion niemals aufgerufen und direkt None zurückgegeben.

So wird sichergestellt, dass Ihre Operationen nur ausgeführt werden, wenn tatsächlich ein Wert vorhanden ist.

Sehen wir uns flatMap anhand von Option in Aktion an. Dieser Code versucht, eine Zeichenkette in eine Ganzzahl umzuwandeln und sie anschließend zu verdoppeln – aber nur, wenn beide Schritte erfolgreich sind.

Ein weiterer verbreiteter Scala-Typ, der sich wie eine Monade verhält, ist List.

Wenn Sie flatMap auf eine List anwenden:

• Wird die angegebene Funktion auf jedes Element der Liste angewendet.
• Die Funktion muss für jedes Element eine neue List zurückgeben.
• Anschließend werden alle resultierenden Listen zu einer einzigen, abgeflachten Liste verkettet.

Das ist nützlich, um Datenlisten zu transformieren und zu kombinieren.

So funktioniert flatMap mit einer List. Beachten Sie, wie die Ergebnisse der Anwendung einer Funktion, die für jedes Element eine Liste zurückgibt, „abgeflacht“ werden.

Obwohl flatMap die wichtigste Operation ist, folgt eine echte Monade auch bestimmten Gesetzen (Regeln), die ein vorhersehbares Verhalten sicherstellen.

Vereinfacht gesagt ist ein Typ monadisch, wenn er:

• einen Wert „verpacken“ kann, was häufig als pure oder unit bezeichnet wird;
• eine flatMap-Operation besitzt, die Berechnungen unter Beibehaltung des Kontexts verkettet.

Diese Gesetze stellen sicher, dass das Zusammensetzen monadischer Operationen konsistent ist – unabhängig davon, wie Sie sie gruppieren.

Scalas for-comprehensions sind syntaktischer Zucker für die Arbeit mit Monaden und anderen Typen wie Funktoren und Applicatives.

Sie ermöglichen es Ihnen, sequenzielle Operationen auf kontextuellen Werten in einer deutlich lesbareren Form zu schreiben, die imperativem Code ähnelt.

Im Hintergrund übersetzt der Scala-Compiler for-comprehensions in eine Reihe von Aufrufen von flatMap, map und filter.

Dieses Beispiel zeigt, wie eine for-comprehension die zuvor gezeigte Kette aus Option.flatMap vereinfachen kann. Der Fall None wird automatisch behandelt.

Betrachten Sie den folgenden Scala-Code.

val list1 = List(1, 2)
val list2 = List(10, 20)

val result = for {
  x <- list1
  y <- list2
} yield x * y

Herzlichen Glückwunsch! Sie haben einen großen Schritt beim Verständnis von Monaden gemacht.

• Monaden bieten ein leistungsstarkes Muster, um Berechnungen zu sequenzieren, die innerhalb eines „Kontexts“ ausgeführt werden, etwa Option für das Vorhandensein oder Fehlen von Werten und List für mehrere Werte.
• Die zentrale Operation ist flatMap. Sie wendet eine Funktion an, die einen neuen kontextuellen Wert zurückgibt, und verkettet und verflacht dadurch die Kontexte.
• Scalas for-comprehensions sind ein hervorragender syntaktischer Zucker. Sie werden direkt in Aufrufe von flatMap sowie map und filter übersetzt und machen monadischen Code deutlich lesbarer.

Als Nächstes sehen wir uns beliebte Bibliotheken für die funktionale Programmierung wie Cats und ZIO an, die diese monadischen Konzepte umfassend nutzen.