monads

6Hitze

1Antwort

Konvertiere [IO Int] zu IO [Int] in Haskell?

Ich habe diesen Code, mein Bedürfnis passt: f :: [IO Int] -> IO [Int] f [] = return [] f (x:xs) = do a <- x as <- f xs return (a:as) Aber ich thougth es wäre eine vordefinierte Art

10Hitze

2Antwort

Speicherung eines monadischen Ausdruck in, es sei denn, oder wenn

ich finde mich oft das Schreiben von Code, der wie folgt aussieht: import System.Directory (doesFileExist) import Control.Monad (unless) example = do fileExists <- doesFileExist "wombat.txt"

11Hitze

2Antwort

Eine parallele Monad Karte in Haskell? So etwas wie parMapM?

Ich suche nach einer Möglichkeit, zwei Berechnungen parallel in der ST-Monad auszuführen. Ich baue ein ziemlich großes Array (mit STUArray) und ich würde es gerne parallel machen. Bisher habe ich gefu

9Hitze

3Antwort

Ableitung von Free Monad

Control.Monad.Free implementiert eine freie Monade als: data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Functor (Free f) where fmap f = go where go (Pure a) = Pure (f a)

6Hitze

2Antwort

Vielleicht innen Stapel von Transformatoren

Ich habe den folgenden Code Monade: import Control.Monad import Control.Monad.Trans import Control.Monad.Trans.State type T = StateT Int IO Int someMaybe = Just 3 f :: T f = do x <- get

19Hitze

4Antwort

Was können Pfeile tun, die Monaden nicht können?

Pfeile scheinen in der Haskell-Community an Popularität zu gewinnen, aber es scheint mir, als wären Monaden mächtiger. Was erreicht man, wenn man Pfeile benutzt? Warum können nicht stattdessen Monaden

5Hitze

1Antwort

Haskell Quine: "ap" Monad

Was ist der richtige Weg, um die "ap" Monade in Haskell zu verwenden? Ich möchte etwas ähnliches tun: aber ich bekomme den Fehler "Nicht im Bereich: 'ap'." Mit "Import Control.Monad" tut nichts. Und i

6Hitze

1Antwort

Wie beurteilen Sie die Reihenfolge der Ausführung von Funktionen in einem MonadT-Stack?

Allgemeines Thema: Während ich finde, dass die Idee, Monaden zusammen zu stapeln, sehr ansprechend ist, habe ich eine Menge Probleme damit, sich vorzustellen, wie der Code ausgeführt wird und welche B

6Hitze

1Antwort

Was haben diese eckigen Klammern in Haskell?

las ich den Code unten in Indexed Monad {-# LANGUAGE QuasiQuotes #-} import Control.Monad.Indexed.State import Control.Monad.Indexed import Language.Haskell.IndexedDo hoge :: IxState Int [Int]()

7Hitze

1Antwort

Pattern Match gegen Wert in Monade

Ich habe folgende Datentyp in Haskell: data Flow a = Continue a | Return Value newtype FlowT m a = FlowT {runFlowT :: m (Flow a)} type IStateM a = FlowT (StateT IState IO) a wo IState ist eine Art