monads

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

Warum werden Instanzen nur von ihren Köpfen abgeglichen?

Ich werde mit der Einführung eines konkreten Problems beginnen (StackOverflow-Leute wie dieses). Angenommen, Sie definieren einen einfachen Typ %Vor% Dieser Typ ist ein Functor , Applicative und ein Monad . Ignorieren automatische Abl...
14.05.2015, 23:26
2
Antworten

Ist mapM in Haskell streng? Warum erhält dieses Programm einen Stack-Überlauf?

Das folgende Programm wird ordnungsgemäß beendet: %Vor% Läuft: %Vor% Wenn es jedoch mit einer unendlichen Liste versehen wird, wird das Programm niemals beendet, und wenn es kompiliert wird, gibt es schließlich einen Stapelüberlauffehler...
29.07.2010, 01:50
1
Antwort

Leser Monad mit Scalaz

Ich versuche, die Reader-Monade mit scalaz so zu definieren: %Vor% aber ich bekomme einen Compilerfehler: %Vor% Warum ist das so? Danke, Levi     
19.07.2010, 19:51
3
Antworten

Klassenbeschränkungen für Monaden und Monaden

Ich versuche eine neue Monade zu schreiben, die nur eine Num enthalten kann. Wenn es fehlschlägt, gibt es 0 zurück, ähnlich wie die Maybe-Monade bei Versagen nichts zurückgibt. Hier ist was ich bisher habe: %Vor% Haskell beklagt sich, das...
11.03.2014, 00:06
2
Antworten

Schöne Möglichkeit, mehrere Referenzen zwischen Funktionen in ST monad zu verfolgen?

Ich schreibe einen Code (einen Metropolis-Hastings MCMC-Sampler), der einen Zufallszahlengenerator verwendet und ein Array und möglicherweise andere darauf basierende Strukturen modifiziert. Meine ursprüngliche Idee war, die ST-Monade zu verw...
10.08.2011, 13:36
2
Antworten

Fortsetzungen als sinnvolle Übersichten

Monaden können als Formen von Containern interpretiert werden: liste: Aggregation von Elementen eines bestimmten Typs bag: ungeordnete Aggregation set: Ungeordnete Aggregation, die Multiplizität ignoriert Vielleicht: Aggregation von hö...
21.08.2015, 16:14
2
Antworten

Writer Monad Beispiel kann nicht kompiliert werden von "Learn you a Haskell"

Der folgende Code, der wörtlich von LYAH lautet, wird nicht kompiliert. Code- und Kompilierzeitfehler sind unten enthalten. Auf der LYAH-Seite ist der Code ~ 15% auf der Seite, yay emacs browser:) Irgendwelche Ideen warum? Betrachte ich etw...
16.10.2014, 22:43
1
Antwort

Ist es möglich die IO Monade von Haskell in Clojure zu machen?

Ich habe mir die algo.monads und fluokitten Dokumentation. Ich habe auch Monad Blog-Einträge durch Jim Duey , Konrad Hinsen und Leonardo Borges . Der nächste, den ich finden kann, ist Konrad Hinsens Bibliothek monadische IO-Streams -...
17.02.2014, 10:35
1
Antwort

Haskell (a - m a) - m (a - a) - m (a - a)

Ich habe die letzten Monate in Haskell gegraben, ich bin in eine Situation mit Monaden geraten, bei denen ich nicht ganz sicher bin, wie ich damit umgehen soll. Ich habe einen Wert vom Typ a -> m a und einen zweiten vom Typ m (a ->...
05.04.2016, 20:12
4
Antworten

Haskell - wie man den nächsten Zug im Tic Tac Toe Spiel mit List Monad generiert

Ich implementiere ein Tic-Tac-Toe-Spiel für n * n board in Haskell und ich muss alle Board-Konfigurationen generieren, die ich vom nächsten Zug bekomme. Ich habe Board wie folgt definiert: %Vor% Ich kann feststellen, ob die gegebene Bo...
16.04.2015, 17:18