monads

Fragen
Eine Monade in der Programmierung ist eine zusammensetzbare Berechnungsbeschreibung. Monaden sind ein wichtiges Konstrukt in funktionalen Programmiersprachen wie Haskell.
6
Antworten

Mit Monaden für triviale Aufgaben wie Listenmanipulation?

Immer wenn ich über Monad Beispiel lese, präsentieren sie immer IO als eine Fallstudie. Gibt es Beispiele für Monaden, die Listenmanipulationen durchführen, die jemand präsentieren könnte? Ich denke, das könnte Overkill sein, aber ich bin int...
03.10.2012, 10:31
3
Antworten

Einbetten von höherwertigen Typen (Monaden!) in den untypisierten Lambda-Kalkül

Es ist möglich, verschiedene Typen im untypisierten Lambda-Kalkül durch Funktionen höherer Ordnung zu kodieren. %Vor% Ich habe mich gefragt, ob es irgendwelche Forschungen gegeben hat, andere weniger konventionelle Typen einzubetten. Es wäre...
19.01.2012, 11:17
3
Antworten

Wie konvertiert man eine freie Monade in einen Funktor?

Die freie Struktur -Seite im Haskell-Wiki definiert eine Funktion zum Konvertieren einer Funktorinstanz in eine freie Monade: %Vor% Dann sagen Sie inj [1,2,3] , hat (Num t) => Free [] t . Wie definiere ich eine Funktion, um etwas wi...
02.06.2011, 23:32
4
Antworten

Scala Option-Objekt in einem anderen Option-Objekt

Ich habe ein Modell, das einige Optionsfelder enthält, die weitere Optionsfelder enthalten. Zum Beispiel: %Vor% Ich erhalte diese Daten von externen JSONs und manchmal enthalten diese Daten möglicherweise Nullen, das war der Grund für einen...
27.02.2013, 11:59
4
Antworten

Vermeiden Sie die explizite Weitergabe der Nachschlagetabelle

In meinem sehr einfachen booleschen Ausdrucksprogramm habe ich folgende Bewertungsfunktion: %Vor% Ich habe mich gefragt, ob es eine Möglichkeit gibt, die Tabelle values implizit zu übergeben? Vielleicht mit Hilfe von Monaden?     
21.09.2011, 17:28
5
Antworten

Wie kann ich eine Zustands-Monade schreiben, die auch Fehler behandelt?

Ich muss eine Zustands-Monade schreiben, die auch die Fehlerbehandlung unterstützt. Ich dachte an die Verwendung der Entweder-Monade für diesen Zweck, weil es auch Details darüber geben kann, was den Fehler verursacht hat. Ich habe eine Definiti...
31.10.2010, 14:58
3
Antworten

Muss ich Applicative und Functor implementieren, um eine Monade zu implementieren

Ich versuche eine Monad-Instanz zu implementieren. Nehmen Sie als ein einfaches Beispiel Folgendes an: %Vor% Dies sollte die Standardimplementierung von Maybe sein, soweit ich weiß. Dies kompiliert jedoch nicht, da der Compiler sich beschwer...
24.04.2015, 10:14
3
Antworten

Übliche Praxis für Polymorphismen höherer Ordnung in scala

Ich versuche, den Polymorphismus höherer Ordnung in scala zu begreifen, indem ich eine sehr einfache Schnittstelle implementiere, die eine Monade beschreibt, aber ich stoße auf ein Problem, das ich nicht wirklich verstehe. Ich habe dasselbe m...
05.04.2010, 12:15
3
Antworten

Warum bewertet harkell a in a b?

Die & gt; & gt; Der Operator für Monads in Haskell wird oft als definiert %Vor% Es kann verwendet werden, um Dinge wie zu drucken %Vor% Warum optimiert der Compiler den Wert von putStr "foo" nicht und bewertet nur putStrLn "bar" ? E...
15.12.2012, 12:51
3
Antworten

Kann mir jemand durch diese Haskell-Funktion (State monad related) gehen?

%Vor% Ich bin verwirrt darüber, wie put (n+1) überhaupt Auswirkungen auf das Endergebnis dieser Funktion hat. Es scheint, als ob diese Funktion den ursprünglichen Zustand unverändert zurückgeben sollte. Ich versuche, mir das durch den Kopf z...
25.11.2009, 09:45