Dieser Beitrag ist stark vom Tech-Talk von Gina Banyard beim ?FORUM PHP 2024“ inspiriert:

Forum PHP 2024

spO0q ?? ? 13. Okt

#php #Programmierung #techtalks

Monaden mit 3 einfachen Synonymen entmystifizieren

Beginnen wir mit ein paar Synonymen:

• Beh?lter
• Verpackungen
• Entwurfsmuster

Wenn Sie ?PHP-Monaden“ googeln, tauchen schnell andere Konzepte auf, wie funktionale Programmierung, Bindung, Stapel und sogar esoterische Mathematik (z. B. Funktor, Monoide).

Hab keine Angst.

Im Kern ist eine Monade ein Muster, das auf verschiedene Arten implementiert werden kann.

Designmuster

Wenn Sie einige Vorg?nge ausführen müssen, k?nnen Sie wie gewohnt einfach benutzerdefinierte Objekte und Helfer definieren.

Warum also mit alternativen Konzepten herumexperimentieren?

Meiner Meinung nach ist das immer noch eine gute Frage, da Sie effizient bleiben müssen, aber bei klassischen Ans?tzen gibt es h?ufige Einschr?nkungen:

• Die Reihenfolge der Vorg?nge ist wichtig
• WET-Code
• Ausnahmen

Monaden k?nnen optionale (oder noch nicht verfügbare) Werte konsistenter verarbeiten.

Monad vs. klassische Fehlerbehandlung/Ausnahmen

Moderne Projekte enthalten Tools für die statische Analyse, PHP-Ausnahmen werden jedoch nicht typisiert.

Mit anderen Worten: Die Tools k?nnen keine Ausnahmen in der Funktionssignatur erkennen und daher nicht feststellen, ob der Code Ausnahmen korrekt behandelt.

Um das zu testen, schreiben Entwicklerteams normalerweise Funktionstests, aber eine Früherkennung mit statischer Analyse w?re zuverl?ssiger.

Quelle: ?Les Exception: le trou dans la raquette du typage“ (fr)

Mit Monads erhalten Sie in allen F?llen ein typisiertes Objekt, beispielsweise einen benutzerdefinierten Enum-Fall (z. B. FileErrors::AccessDenied), sodass der Fehler im System eingegeben wird.

Implementierung der Logger-Monade

Der Aufbau eines robusten Protokollierungssystems kann eine Herausforderung sein. Es ist einfach, Zeichenfolgen und Aufrufe zu duplizieren.

Anstatt alles hart zu codieren, würden Sie wahrscheinlich einen benutzerdefinierten Helfer namens log() definieren und ihn überall in Ihrem Projekt verwenden.

Dies würde darauf abzielen, den Code trocken zu halten, erlaubt jedoch in bestimmten F?llen m?glicherweise nicht das Komponieren komplexerer Funktionen.

Der funktionale Ansatz würde nicht darin bestehen, einen solchen globalen Helfer zu verwenden. Stattdessen würde es lieber eine Monade implementieren, um andere Funktionen zu umschlie?en:

final class LoggerMonad {
    public function __construct(
        public mixed $data,
        public array $logs = [],
    ) {}

    public function bind(callable $fn) {
         $resultLoggerMonad = $fn($this->data);
         return new LoggerMonad(
             $resultLoggerMonad->data,
             [...$this->logs, ...$resultLoggerMonad->logs],
         );
   }
}

function loggify(callable $fn): Closure {
    return function ($value) use ($fn) {
        $name = (new ReflectionFunction($fn))->name;
        $log = [
            'Running '. $name .'('. var_export($value, true) .')'
        ];
        return new LoggerMonad($fn($value), $log);
    };
}

Dann k?nnen Sie den Loggify-Wrapper folgenderma?en verwenden:

function add2(int $v): int {
    return $v + 2;
}

function square(int $v): int {
    return $v * $v;
}

function multi3(int $v): int {
    return $v * 3;
}

function logIt($value, callable ...$fns) {
    $logging_fns = array_map(loggify(...), $fns);
    $monad = new LoggerMonad($value);
    foreach ($logging_fns as $fn) {
        $monad = $monad->bind($fn);
    }
    return $monad;
}

print_r(logIt(
   3,
   add2(...),
   square(...),
   multi3(...)
));

Quelle: ?Monades simplement“ von Gina Banyard (fr)

Was ist binden?

?? Baby, tu mir nicht weh

Monaden sollen Werte umschlie?en, die jeden Typs haben k?nnen, einschlie?lich Objekte und Funktionen.

Wie in jedem anderen Wrapping-System finden Sie einen Konstruktor (~ Klasse), der diesen Wert als Eingabe verwendet, und einige Methoden, die je nach dem Muster, das Sie implementieren m?chten, ihre eigenen Zwecke haben.

Allerdings verfügen alle Monaden über eine Bind-Funktion. Wie der Name schon sagt, werden hier die Werte (oder Callbacks) übergeben.

Was auch immer in diesen Rückrufen passiert, die Monade wird es umschlie?en, was eine leistungsstarke M?glichkeit zu sein scheint, Werte zu dekorieren und den Code umzugestalten.

Ist der Code besser lesbar?

Es kommt ganz klar auf die Umsetzung an, und am Anfang kann man leicht den überblick verlieren.

Dieser alternative Ansatz kann jedoch die Anzahl der if-Bl?cke erheblich reduzieren und die Rückgabewerte konsistenter machen:

final class LoggerMonad {
    public function __construct(
        public mixed $data,
        public array $logs = [],
    ) {}

    public function bind(callable $fn) {
         $resultLoggerMonad = $fn($this->data);
         return new LoggerMonad(
             $resultLoggerMonad->data,
             [...$this->logs, ...$resultLoggerMonad->logs],
         );
   }
}

function loggify(callable $fn): Closure {
    return function ($value) use ($fn) {
        $name = (new ReflectionFunction($fn))->name;
        $log = [
            'Running '. $name .'('. var_export($value, true) .')'
        ];
        return new LoggerMonad($fn($value), $log);
    };
}

Quelle: fp4php – Monaden

Vor- und Nachteile

Vorteile

• ? Es gibt verschiedene Monaden für unterschiedliche Zwecke: Vielleicht, Entweder, Logger, Liste, Leser usw.
• ? Monaden erm?glichen das Umschlie?en von Code mit besseren Typen, was die statische Analyse verbessern kann
• ? PHP stellt dafür keine integrierten Konstrukte zur Verfügung, daher liegt die Implementierung vollst?ndig beim Entwickler

Nachteile

• ? PHP stellt hierfür keine integrierten Strukturen (z. B. Generics) bereit, daher liegt die Implementierung vollst?ndig beim Entwickler
• ? Der Code wird dadurch nicht vereinfacht

Weiter gehen

• Funktionale Fehlerbehandlung mit Monaden, Monadentransformatoren und Cats MTL
• Monaden und Verwendung in PHP
• Funktionale Programmierung in PHP

Einpacken

Hoffentlich wissen Sie jetzt etwas mehr über PHP-Monaden.

Natürlich sollten Sie Ihrem Projekt nicht nur so ausgefallene Designmuster hinzufügen.

Au?erdem verfehlt man leicht den Kernpunkt und konzentriert sich auf sehr spezifische Aspekte, wie etwa die Fehlerbehandlung, obwohl es sich um ein v?llig neues Paradigma handelt.

Dennoch ist es erfrischend, neue Ans?tze zu entdecken. Wir müssen über den Tellerrand hinausdenken.

Das obige ist der detaillierte Inhalt vonPHP: Monaden. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!