Suchergebnisse für Anfrage "monads"
Monad mächtiger als Applicative?
Ich sah vergangene Diskussion [https://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell] konnte aber nicht erkennen, warum eine der Antworten tatsächlich richtig ist. Applicative <*> :: f (a -> b) -> f ...
Kombinationsstatus mit E / A-Aktionen
Angenommen, ich habe eine staatliche Monade wie: data Registers = Reg {...} data ST = ST {registers :: Registers, memory :: Array Int Int} newtype Op a = Op {runOp :: ST -> (ST, a)} instance Monad Op where return a = Op $ \st -> (st, a) (>>=) ...
Warum können Haskell-Ausnahmen nur in der IO-Monade abgefangen werden?
Kann jemand erklären, warum Ausnahmen außerhalb der E / A-Monade ausgelöst werden, aber nur innerhalb dieser Monade abgefangen werden dürfen?
Monaden vs. Pfeile
Ich bin weitgehend vertraut mit den Konzepten von Monaden [http://en.wikipedia.org/wiki/Monads_in_functional_programming] und Pfeile [http://en.wikipedia.org/wiki/Arrows_in_functional_programming] wie in der funktionalen Programmierung ...
Funktionen, die für Anrufer rein aussehen, aber intern die Mutation verwenden
Ich habe gerade meine Kopie vonExpert F # 2.0 und stieß auf diese Aussage, die mich etwas überraschte: Bei Bedarf können Sie Nebenwirkungen auf private Datenstrukturen anwenden, die zu Beginn eines Algorithmus zugewiesen wurden, und diese ...
Konvertieren Sie eine "do" -Notation mit mehr als zwei Aktionen, um die Bindefunktion @ zu verwende
Ich weiß, dass die folgende "Bind" -Funktion der "do" -Notation äquivalent zu @ igetLine >>= \line -> putStrLn do line <- getLine putStrLn lineAber wie entspricht die folgende Notation der Bindungsfunktion? do line1 <- getLine putStrLn "enter ...
Eine Monade auf eine Typklasse einschränken
ibt es in Haskell eine Möglichkeit, eine Monade einzuschränkeM a damita Erfüllen Sie eine Typklassenbedingung? Ich übersetze dasprobabilistic modeling example [http://github.com/namin/spots/tree/master/probabilisticModeling/README.markdown] ...
StateT mit InputT kombinieren
Es ist eine Fortsetzung vondiese Frag [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Ich versuche, @ zu kombiniershell von @ ErikR'sAntworte [https://stackoverflow.com/a/37909749/165753] in meinemInputT ...
Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren, was ist das Problem?
Wer hat zuerst folgendes gesagt? Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren, was ist das Problem? Und in einem weniger wichtigen Punkt, ist das wahr und wenn ja, könnten Sie eine Erklärung geben (hoffentlich eine, die von ...
Wie multipliziere ich zwei (doppelte Option) s in F #
Mein Code enthält einige Double-Option-Typen. Ich habe die Option.map-Funktion bisher recht erfolgreich verwendet, um die Notwendigkeit zu beseitigen, überall auf Some und None übereinstimmen zu müssen, und sie als ausgelöste Typen zu behandeln, ...