___ tag123montransformers ___ Monad-Transformer sind eine Abstraktion für die Kombination von Monaden. Auf diese Weise können Sie verschiedene rechnerische Effekte zusammenstellen und präzise gesteuerte Computerumgebungen aufbauen.
___ tag123continuations ___ In der Informatik und Programmierung ist eine Fortsetzung eine abstrakte Darstellung des Kontrollzustandes. Eine Fortsetzung bestätigt eine Instanz eines Berechnungsprozesses an einem gegebenen Punkt der Prozessausführung. Es enthält Informationen wie den aktuellen Stapel des Prozesses (einschließlich aller Daten, deren Lebensdauer innerhalb des Prozesses liegt, beispielsweise "lokale Variablen") sowie den Punkt des Prozesses bei der Berechnung.
___ tag123arrows ___ Pfeile sind ein Mittel zur Modellierung von Recheneffekten, die allgemeiner und weniger leistungsfähig als Monaden sind.
___ qstnhdr ___ Gibt es so etwas wie eine Fortsetzung Pfeil Transformator?
___ tag123haskell ___ Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerungsfreier Auswertung, umfangreicher Parallelitäts- und Parallelitätsunterstützung und einzigartigen Abstraktionsfunktionen.
___ qstntxt ___
Die %code% Monade Transformator hat eine interessante Eigenschaft: Wenn es einen %code% -Typ wie %code% gibt, der gut definierte monadische Operationen hat, aber keine %code% Instanz haben kann, aufgrund einiger Einschränkungen (hier %code% ), ist es das Es ist möglich, sie in %code% ( %code% ) zu verpacken, um eine Monad-Instanz zu erhalten, und die Abhängigkeiten außerhalb davon zu verschieben, wie wenn wir %code% in %code% injizieren.
Siehe Erstellen effizienter monad Instanzen auf %code% mit der Continuation Monade .
Gibt es etwas Ähnliches für Pfeile? Ein Pfeiltransformer , der das erlauben würde wrap einen "fast arrow" hinein, eine gültige %code% -Instanz bekommen, und problematische Einschränkungen auf den Teil, wo wir den "fast Pfeil" hinein injizieren ?, verschieben.
Zum Beispiel, wenn wir den Typ %code% hätten, für den wir die üblichen Operationen %code% hätten, aber mit Einschränkungen wie
%Vor%
Als Bonus, wenn ja, gibt es eine raffinierte, generische, kategorientheoretische Methode, wie man sowohl %code% als auch einen solchen Pfeiltransformer ableitet?
___ tag123kategorietheorie ___ * Kategorientheorie * ist ein Zweig der abstrakten Mathematik, der sich mit der Darstellung und Beschreibung der zugrunde liegenden Struktur logischer und mathematischer Systeme befaßt. Konzepte der Kategorientheorie haben sich als Werkzeuge zur Strukturierung der Semantik von Programmiersprachen und Programmen selbst als äußerst effektiv erwiesen. Verschiedene kategorientheoretische Strukturen werden als Werkzeuge für die Abstraktion in der Programmierung verwendet, einschließlich Funktoren, Monaden und Algebren.
___