monads

0Hitze

1Antwort

Aktionen sammeln und bei Bedarf früh verzweigen

Ich konvertiere einen Python-Code in Haskell. Die Geschäftslogik ist ziemlich komplex und mein Haskell-Code wird hässlich. Mein Python-Funktion: def f(some_state): doAction1() # e.g. send_message

7Hitze

2Antwort

Warum runState-Signatur hat nur Statusargument?

Ein Beispiel aus dem wirklichen Leben: Wenn ich gute Laune habe ("guter Zustand"), wenn Manager mich nach Schätzungen fragt, gebe ich ihm eine solide Antwort, wagt es aber, das 3 Mal hintereinander zu

3Hitze

2Antwort

Unterschied zwischen Typkonstruktor und Rückkehrfunktion einer Monade (in Haskell)

Ich versuche, Monaden in Haskell herauszufinden, bin aber noch nicht zu weit gekommen. Ich fand https://en.wikibooks.org/wiki/Haskell/Understanding_monads#cite_note-1 und mehrere andere Tutorials/Erkl

2Hitze

1Antwort

Ein einfaches Beispiel für Ruhe API in Diener oder "wie man Monaden richtig mischen"?

Ich möchte ein einfaches Beispiel für einen Rest api in Diener bauen 0,5: data MyData = MyData { var1 :: Int, var2 :: String } app :: Application app = serve api server api :: Proxy API api = Pr

2Hitze

1Antwort

Konvertieren eines verschachtelten Typs in einen Monad-Transformer-Stack

Ich habe einige Probleme mit einer der Übungen im Kapitel Transformer Monade von Haskell Programming From First Principles. Insbesondere werden wir eine Struktur gegeben, die wie (const (Right (Just 1

-1Hitze

2Antwort

Definieren der Bindung in der doppelstreifigen Folge Monad in Haskell

Der Versuch, die Bindung für diese Monade in Haskell zu definieren. Wenn die Berechnung erfolgreich ist, wird die SCont-Fortsetzung aufgerufen. Wenn sie fehlschlägt, wird die FCont-Fortsetzung aufgeru

2Hitze

1Antwort

Haskell Parser, Monad und MonadPlus

module Parser where import Control.Monad (MonadPlus, mplus, mzero) import Tagger (Tag, Token) newtype Parser a = Parser ([(Token, Tag)] -> [(a, [(Token, Tag)])]) parse :: Parser a -> [(To

2Hitze

1Antwort

Warum gibt dieser Code nichts zurück, statt Ausnahme zu werfen

Können Sie mir erklären, warum der folgende Code Nothing insaf od exception "zero" zurückgibt? Just 0 >>= (\ x -> if (x == 0) then fail "zero" else Just (x + 1))

4Hitze

2Antwort

Haskell, das gleiche Programm Monaden

Verwendung Wie Sie sehen können, ich schrieb Programm, zum Beispiel: test "12 124 212" = Recht [12, 124, 212] test „43 243 fs3d 2" = links "fs3d ist keine Zahl" test :: String -> Either String [Int]

1Hitze

1Antwort

Unterschied zwischen mapM und forM

Können Sie mir sagen, gibt es einen Unterschied zwischen mapM und forM? bei Unterschriften suchen: mapM :: Monad m => (a -> m b) -> [a] -> m [b] forM :: Monad m => [a] -> (a -> m b) -> m [b] Das ei