monads

4Hitze

3Antwort

Wie kann ich den Zustand in Haskell auf versteckte Weise initialisieren (wie der PRNG)?

Ich ging ein paar Tutorials über die State Monad und ich denke, dass ich die Idee hatte. Zum Beispiel, wie in this nice tutorial: import Data.Word type LCGState = Word32 lcg :: LCGState -> (Intege

9Hitze

3Antwort

Ist es besser, die Zustands-Monade zu verwenden oder den Zustand rekursiv zu übergeben?

Ich lerne nur Haskell, und versuche herauszufinden, die am meisten idiomatische Weg, um eine Sichtlinie Algorithmus zu implementieren. Der Demo-Code, den ich gefunden habe, verwendet die Zustands-Mona

15Hitze

3Antwort

Haskell - "Die letzte Aussage in einem 'do' Konstrukt muss ein Ausdruck sein"

Wie es im Titel sagt: Was bedeutet The last statement in a 'do' construct must be an expression bedeuten? Ich beendete meine do Block mit einem putStrLn wie es in mehreren Beispielen, die ich gesehen

7Hitze

3Antwort

auf der Suche nach Lernübung: Implementieren Sie diese Monaden

Beim Lernen über neue Programmierobjekte folge ich normalerweise einem Muster: Ich lese darüber, ich verstehe es, und dann code ich ein paar Beispiele, um sicherzustellen, dass ich wirklich bekommen.

7Hitze

3Antwort

Kann mir jemand durch diese Haskell-Funktion (Staatsmonat bezogen) gehen?

tick :: State Int Int tick = get >>= \n -> put (n+1) >>= \y -> return n Ich bin verwirrt, wie put (n+1) irgendwelche Auswirkungen auf das Endergebnis dieser Funktion überhaupt hat. Es s

18Hitze

3Antwort

Wie kombiniere ich Monaden in Haskell?

Insbesondere muss ich in der Lage sein, die CGI-Monade mit der IO-Monade zu kombinieren, aber ein Beispiel, wie man die IO-Monade mit der Maybe-Monade kombinieren könnte, könnte noch besser sein ...

9Hitze

3Antwort

Haskell: Kann ich eine Where-Klausel nach einem Block mit Bindeoperatoren (>> =) verwenden?

Ich habe eine sehr einfache Frage. Ich würde gerne eine Where-Klausel nach einem Block von Code verwenden, der Bind-Operatoren verwendet, aber ich bekomme einen Kompilierungsfehler. Hier ist ein einfa

5Hitze

2Antwort

Werte innerhalb von Monaden, verschachtelt in Datenstrukturen? Angenommen

, dass in einem Haskell Programm, das ich einige Daten habe, dessen Typ ist so etwas wie: IO [ IO (Int, String, Int) ] oder IO [ (Int, String, IO Int) ] oder [ (Int, String, IO Int) ] aber ich habe re

31Hitze

4Antwort

Eine Haskell-Funktion des Typs: IO String-> String

Ich schrieb eine Reihe von Code in Haskell, um einen Index eines Textes zu erstellen. Die Top-Funktion sieht wie folgt aus: index :: String -> [(String, [Integer])] index a = [...] Jetzt habe ich d

28Hitze

2Antwort

Warum nicht etwas da wie IMonad <T> in den kommenden .NET 4.0

... mit allen, die neue (und nicht so neu, wenn wir IEnumerable zählen) Monade-related stuff? interface IMonad<T> { SelectMany/Bind(); Return/Unit(); } Das würde ermöglichen, Funktionen zu schre