monads

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

Folgen Sie der Monaden-Funktion in Haskell

Ich habe einige Probleme damit, die Gegenfunktion von Haskells sequence -Funktion zu entwerfen, von der Hoogle sagt, dass sie noch nicht existiert. So verhält es sich: %Vor% Mein Problem ist eine Funktion wie folgt: %Vor% Damit es sic...
07.12.2014, 13:04
2
Antworten

Writer gegen WriterT in Haskell

Was ist der Unterschied zwischen Writer und WriterT in Haskell? Wird einer dem anderen vorgezogen?     
03.10.2011, 01:23
3
Antworten

Hilfe beim Schreiben der "Colist Monad" (Übung aus einem Idioms Intro-Papier)

Ich lese Conor McBride und Ross Patersons "Functional Pearl / Idioms: Applikative Programmierung mit Effekten:" (Die neue Version, mit "Idiomen" im Titel). Ich habe ein wenig Schwierigkeiten mit Übung 4, die unten erklärt wird. Alle Hinweise w...
24.06.2011, 03:34
3
Antworten

Erstellen von Monaden in Haskell

Ich möchte meine eigene Monade erschaffen. Das habe ich geschrieben: %Vor% Aber das funktioniert nicht. Ghc sagt: %Vor% Was ist daran falsch? Ich möchte Berechnungen durchführen, während ich niedriger als n bin. n sollte Konstanten s...
22.11.2009, 17:58
1
Antwort

Warum kann ich in GHCi nicht "pure 1" in REPL anzeigen?

Ich habe versucht, einen angehobenen Wert a zuzuweisen. %Vor% Wenn ich a in REPL ausgewertet habe, wird 1 ausgegeben. %Vor% Daher dachte ich, dass es eine Implementierung von show für a geben könnte, und habe Folgendes ver...
26.05.2015, 17:12
3
Antworten

Warum müssen wir State Monad verwenden, statt den Status direkt zu übergeben?

Kann jemand ein einfaches Beispiel zeigen, in dem die Zustandsmonade besser sein kann als den Zustand direkt zu übergeben? %Vor% vs %Vor%     
17.07.2015, 12:22
5
Antworten

Wie schreibe ich eine Monade, die beim Ausführen jeder Anweisung in der Monade "Schritt i von N" ausgibt?

Ich bin mir nicht einmal sicher, ob das in irgendeiner Art von Monade möglich ist; Verstößt es gegen Monadengesetze? Aber es scheint etwas zu sein, das in irgendeiner Art von Konstrukt möglich sein sollte. Insbesondere gibt es eine Möglichkeit,...
29.11.2013, 20:05
3
Antworten

Verkettungsmethode ruft mit Entweder auf

Ich würde gerne wissen, ob es möglich ist, eine Art "Methoden-Aufrufkette" zu erstellen, wobei alle Methoden dasselbe Ergebnis liefern. Entweder [Fehler, Ergebnis]. Was ich tun möchte, ist: alle Methoden sukzessive aufzurufen, und wenn die Me...
24.08.2012, 10:05
1
Antwort

Monade für Const?

Warum gibt es keine Monad-Instanz für Control.Applicative.Const ? Ist die folgende Definition korrekt oder verletzt sie die Monadengesetze? %Vor% Und können Sie sich irgendeine nützliche Anwendung vorstellen?     
17.07.2012, 20:29
1
Antwort

Was zum Teufel ist "-", überhaupt?

Neulich bin ich auf einen Operator namens -< gestoßen, der im Zusammenhang mit der Bindung eines Wertes an eine Variable in einer Monade auftaucht; Insbesondere sieht es so aus, als übergibt es einen Wert an eine Funktion, die dann einer V...
16.05.2015, 13:56