monads, Seitenzahl 4

4

Antworten

Was ist der Zweck der Staatsmonade?

Ich bin ein JavaScript-Entwickler auf dem Weg zu meinen Fähigkeiten in der funktionalen Programmierung. Ich bin kürzlich in eine Mauer gelaufen, als es um die Verwaltung des Staates ging. Bei der Suche nach einer Lösung habe ich in verschiedenen...

29.01.2015, 20:46

1

Antwort

Wie man veränderbaren Vektor in Zustands-Monade setzt

Ich habe ein kleines Programm in haskell geschrieben, um alle Vorkommen von Int-Werten in Tree mit State Monad mit Vector zu zählen: %Vor% Aber 'update' von unveränderlichen Vektoren erfolgt in O (n) -Komplexität. Und ich suche nach Update i...

10.05.2014, 10:34

1

Antwort

RunST verhindert den Zugriff auf die Referenz eines anderen statusbehafteten Threads in einem Closure

Ich bin auf viele Erklärungen des RunST-Rank-2-Typs gestoßen und wie er verhindert, dass die Referenz RunST entgeht. Aber ich konnte nicht herausfinden, warum dies auch den folgenden Code von Typprüfung verhindert (was richtig ist, aber ich will...

04.06.2014, 05:14

2

Antworten

Gibt es eine Powerset-over-Reader-Monade?

Die kanonische 'Monad-Instanz' für die gemeinsame Nutzung der Umgebung plus Nichtdeterminismus ist wie folgt (mit Pseudo-Haskell, da Haskells Data.Set natürlich nicht monadisch ist): %Vor% Wenn man versucht, eine 'Container'-Monade wie Po...

16.02.2017, 00:20

1

Antwort

Unterschied zwischen (=) und (=)

Ich brauche etwas Klärung bezüglich (& gt; & gt; =) und (& gt; = & gt;). %Vor% Ich weiß über Bind-Operator (& gt; & gt; =), aber ich bekomme nicht den Kontext, wo (& gt; = & gt;) nützlich ist. Bitte erklären Sie mit einem einfachen Spielzeug...

22.08.2016, 13:56

2

Antworten

Könnte es sein, dass (Alternative f, Faltbare f) = Monade f?

Die folgenden Typprüfungen: %Vor% Ist das tatsächlich eine gültige Monad -Instanz? Wenn ja, warum wird es nicht verwendet? Wenn nein, bricht es irgendwelche Gesetze oder solche? Ich habe nicht bewiesen, dass die Gesetze gelten, aber ich k...

24.05.2017, 11:19

3

Antworten

Zufällig als Instanz von scalaz.Monad

Dies ist ein Follow-up zu meiner vorherigen Frage . Ich schrieb eine Monade (für eine Übung), die eigentlich eine Funktion ist, die Zufallswerte erzeugt. Es ist jedoch nicht als -Instanz der Typklasse scalaz.Monad definiert. Nun habe ic...

23.11.2014, 15:27

2

Antworten

IO [Maybe String] zu IO [String] filtern

Wie man IO [Maybe String] filtert, um nur die Just -Werte der Liste zu behalten, die >>= benutzen und den IO-Kontext behalten. %Vor% Meine aktuelle Lösung ohne den Bind-Operator: %Vor% Ich lerne gerade Haskell und versuche...

28.04.2016, 16:41

1

Antwort

Wie verbinden sich anwendungsbezogene Funktoren mit Parallelisierungsalgorithmen? (Scala und Scalaz)

Aus Josh Suereths "Scala in Depth": "Applikative Funktoren bieten eine Möglichkeit, zwei Berechnungen durchzuführen und sie mithilfe einer Funktion zusammenzufügen. Das Beispiel" Traversable "zeigt, wie zwei Sammlungen zu Paaren parallelisier...

29.08.2012, 18:35

2

Antworten

Bewertung der monadischen Funktionen in Haskell

Ich kann keine Problemumgehung für dieses Problem finden, das ich habe. Ich habe so etwas: %Vor% Ich versuche, x Menge der gültigen Dateipfade zu erhalten, wobei x die Anzahl der Tage ist, die ich möchte, aber der obige Code läuft einfach...

09.05.2011, 16:38