suchen
HeimBackend-EntwicklungPython-TutorialEine Monade ist ein Monoid in der Kategorie der Endofunktoren...

A monad is a monoid in the category of endofunctors...

Was ist eine Monade?

Eine Monade ist ein Monoid in der Kategorie der Endofunktoren... ?

...versuchen wir es noch einmal:

Eine Monade ist eine Abstraktion, die in der funktionalen Programmierung verwendet wird, um Berechnungen auf konsistente Weise durchzuführen. Es handelt sich um ein Entwurfsmuster, das die Verkettung von Vorgängen ermöglicht und gleichzeitig Nebenwirkungen wie Zustandsänderungen, E/A oder Fehler auf kontrollierte Weise einkapselt.

Monaden können als eine Möglichkeit betrachtet werden, Werte zu verpacken und Funktionen auf sie anzuwenden, um sicherzustellen, dass Berechnungen in einer vorhersehbaren und kontrollierten Umgebung ausgeführt werden.

Mein persönliches Verständnis ist: Eine Monade ist eine Datenstruktur mit

  • ein einzelner, unveränderlicher Wert (oder eine einzelne Funktion)
  • eine Map/Bind-Funktion zum Zuordnen einer Funktion zu diesem Wert
  • eine Return/Flatten-Funktion, die den neuen Zustand jedes Mal in eine neue Monade zurückführt

Dies ermöglicht die Verkettung und Zusammensetzung von Operationen auf eine Weise, die Unveränderlichkeit und funktionale Reinheit bewahrt – ein „umgekehrter“ Ansatz zu einer Klasse, bei der der Zustand nicht direkt geändert werden kann, sondern Transformationen funktionell angewendet werden, um neue Instanzen zu erzeugen.

Diese „umgekehrte Symmetrie“ unterstreicht den Kontrast:

  • Klassen ändern ihren internen Zustand und bewahren dabei Veränderlichkeit und direkte Interaktion durch interne Methoden. Meistens interagieren sie mit einem globalen Staat

  • Monaden erzielen ähnliche Ergebnisse wie eine Klasse, aber durch die Umhüllung von Werten und die Abbildung externer unveränderlicher Transformationen haben sie keine Nebenwirkungen: Es gibt keinen globalen Zustand

Beispiel:

  • Klasse: Eine Box-Klasse enthält einen Wert, und Sie können den Wert ändern, indem Sie Methoden wie setValue(newValue) aufrufen, die den internen Zustand der Box ändern.
  • Monade: Ein BoxMonad würde einen Wert unveränderlich halten. Um den Wert zu transformieren, würden Sie eine Funktion wie „map“ verwenden, die eine externe Funktion auf den Wert anwendet und ein neues BoxMonad mit dem neuen Wert zurückgibt.

Beispielprojekt in Python:
https://github.com/blackopsrepl/py-monad-task-manager

In dieser Anwendung verwenden wir die State Monad, um den Status der Aufgabenliste zu verwalten. Die State Monad bietet eine Möglichkeit, den Aufgabenverwaltungsprozess als eine Reihe von Transformationen des Anwendungsstatus zu modellieren und gleichzeitig den Status selbst unveränderlich zu halten.

Anstatt den Status der Aufgabenliste direkt zu ändern, verwenden wir die Funktion return_, um den Anfangsstatus in einen monadischen Container zu packen, und die Funktion bind, um Transformationen auf vorhersehbare Weise auf den Status anzuwenden. Jedes Mal, wenn ein Vorgang ausgeführt wird (z. B. das Hinzufügen, Bearbeiten oder Löschen von Aufgaben), wird eine neue Instanz des Status zurückgegeben, wodurch Unveränderlichkeit und Zusammensetzbarkeit gewährleistet werden.

Hauptfunktionen:

  • return_: Packt einen Wert in einen monadischen Container und macht ihn so zu einem Teil der monadischen Berechnungskette.
  • bind: Wendet eine Funktion auf den Wert innerhalb der Monade an und gibt einen neuen monadischen Container mit dem transformierten Wert zurück.

Durch die Verwendung der State Monad können wir Aufgabenverwaltungsvorgänge so handhaben, dass sichergestellt wird, dass der Status unveränderlich aktualisiert wird und Berechnungen ohne Nebenwirkungen oder unerwünschte Interaktionen zwischen Vorgängen erstellt werden.

Das obige ist der detaillierte Inhalt vonEine Monade ist ein Monoid in der Kategorie der Endofunktoren.... Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Stellungnahme
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn
Was ist Python Switch Anweisung?Was ist Python Switch Anweisung?Apr 30, 2025 pm 02:08 PM

In dem Artikel wird die in Version 3.10 eingeführte "Match" -serklärung von Python erörtert, die als Äquivalent zum Wechseln von Aussagen in anderen Sprachen dient. Es verbessert die Code-Lesbarkeit und bietet Leistungsvorteile gegenüber herkömmlichen IF-ELIF-EL

Was sind Ausnahmegruppen in Python?Was sind Ausnahmegruppen in Python?Apr 30, 2025 pm 02:07 PM

Ausnahmegruppen in Python 3.11 ermöglichen die gleichzeitige Behandlung mehrerer Ausnahmen, wodurch die Fehlermanagement in gleichzeitigen Szenarien und komplexen Vorgängen verbessert wird.

Was sind Funktionsanmerkungen in Python?Was sind Funktionsanmerkungen in Python?Apr 30, 2025 pm 02:06 PM

Funktionsanmerkungen in Python Fügen Sie Metadaten zu Funktionen für Typprüfungen, Dokumentation und IDE -Unterstützung hinzu. Sie verbessern die Lesbarkeit, die Wartung der Code und die API -Entwicklung, die Datenwissenschaft und die Erstellung der Bibliothek von entscheidender Bedeutung.

Was sind Unit -Tests in Python?Was sind Unit -Tests in Python?Apr 30, 2025 pm 02:05 PM

In dem Artikel werden Unit -Tests in Python, deren Vorteile und wie man sie effektiv schreibt, erläutert. Es zeigt Werkzeuge wie Unittest und PyTest zum Testen.

Was sind Zugriffsspezifizierer in Python?Was sind Zugriffsspezifizierer in Python?Apr 30, 2025 pm 02:03 PM

In Artikel werden Zugriffsspezifizierer in Python erörtert, die benennende Konventionen verwenden, um die Sichtbarkeit von Klassenmitgliedern und nicht die strenge Durchsetzung anzuzeigen.

Was ist __init __ () in Python und wie spielt Selbst darin eine Rolle?Was ist __init __ () in Python und wie spielt Selbst darin eine Rolle?Apr 30, 2025 pm 02:02 PM

In Artikel wird die Methode von Python \ _ \ _ init \ _ \ _ () und die Rolle von Self bei der Initialisierung von Objektattributen erörtert. Andere Klassenmethoden und die Auswirkungen der Vererbung auf \ _ \ _ init \ _ \ _ () sind ebenfalls abgedeckt.

Was ist der Unterschied zwischen @ClassMethod, @StaticMethod und Instance -Methoden in Python?Was ist der Unterschied zwischen @ClassMethod, @StaticMethod und Instance -Methoden in Python?Apr 30, 2025 pm 02:01 PM

In dem Artikel werden die Unterschiede zwischen @ClassMethod, @StaticMethod und Instance -Methoden in Python erörtert und ihre Eigenschaften, Anwendungsfälle und Vorteile beschrieben. Es wird erläutert, wie Sie den richtigen Methodentyp basierend auf der erforderlichen Funktionalität und DA auswählen

Wie können Sie Elemente an ein Python -Array anhängen?Wie können Sie Elemente an ein Python -Array anhängen?Apr 30, 2025 am 12:19 AM

Inpython, youAppendElementStoAlistusedtheAppend () Methode.1) UseAppend () ForsingleElelements: my_list.append (4) .2) usextend () oder = formulnElements: my_list.extend (andere_list) ormy_list = [4,5,6] .3) useInSert () FORSPECIFIFICISPositionen: my_list.insert (1,5) .Beaware

See all articles

Heiße KI -Werkzeuge

Undresser.AI Undress

Undresser.AI Undress

KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover

AI Clothes Remover

Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Undress AI Tool

Undress AI Tool

Ausziehbilder kostenlos

Clothoff.io

Clothoff.io

KI-Kleiderentferner

Video Face Swap

Video Face Swap

Tauschen Sie Gesichter in jedem Video mühelos mit unserem völlig kostenlosen KI-Gesichtstausch-Tool aus!

Heiße Werkzeuge

EditPlus chinesische Crack-Version

EditPlus chinesische Crack-Version

Geringe Größe, Syntaxhervorhebung, unterstützt keine Code-Eingabeaufforderungsfunktion

MinGW – Minimalistisches GNU für Windows

MinGW – Minimalistisches GNU für Windows

Dieses Projekt wird derzeit auf osdn.net/projects/mingw migriert. Sie können uns dort weiterhin folgen. MinGW: Eine native Windows-Portierung der GNU Compiler Collection (GCC), frei verteilbare Importbibliotheken und Header-Dateien zum Erstellen nativer Windows-Anwendungen, einschließlich Erweiterungen der MSVC-Laufzeit zur Unterstützung der C99-Funktionalität. Die gesamte MinGW-Software kann auf 64-Bit-Windows-Plattformen ausgeführt werden.

DVWA

DVWA

Damn Vulnerable Web App (DVWA) ist eine PHP/MySQL-Webanwendung, die sehr anfällig ist. Seine Hauptziele bestehen darin, Sicherheitsexperten dabei zu helfen, ihre Fähigkeiten und Tools in einem rechtlichen Umfeld zu testen, Webentwicklern dabei zu helfen, den Prozess der Sicherung von Webanwendungen besser zu verstehen, und Lehrern/Schülern dabei zu helfen, in einer Unterrichtsumgebung Webanwendungen zu lehren/lernen Sicherheit. Das Ziel von DVWA besteht darin, einige der häufigsten Web-Schwachstellen über eine einfache und unkomplizierte Benutzeroberfläche mit unterschiedlichen Schwierigkeitsgraden zu üben. Bitte beachten Sie, dass diese Software

MantisBT

MantisBT

Mantis ist ein einfach zu implementierendes webbasiertes Tool zur Fehlerverfolgung, das die Fehlerverfolgung von Produkten unterstützen soll. Es erfordert PHP, MySQL und einen Webserver. Schauen Sie sich unsere Demo- und Hosting-Services an.

SecLists

SecLists

SecLists ist der ultimative Begleiter für Sicherheitstester. Dabei handelt es sich um eine Sammlung verschiedener Arten von Listen, die häufig bei Sicherheitsbewertungen verwendet werden, an einem Ort. SecLists trägt dazu bei, Sicherheitstests effizienter und produktiver zu gestalten, indem es bequem alle Listen bereitstellt, die ein Sicherheitstester benötigen könnte. Zu den Listentypen gehören Benutzernamen, Passwörter, URLs, Fuzzing-Payloads, Muster für vertrauliche Daten, Web-Shells und mehr. Der Tester kann dieses Repository einfach auf einen neuen Testcomputer übertragen und hat dann Zugriff auf alle Arten von Listen, die er benötigt.