Suchergebnisse für Anfrage "monads"
Simulieren interagierender statusbehafteter Objekte in Haskell
Ich schreibe gerade ein Haskell-Programm, in dem eine abstrakte Maschine simuliert wird, die über einen internen Status verfügt, Eingaben entgegennimmt und Ausgaben liefert. Ich weiß, wie man dies mit der staatlichen Monade umsetzt, was zu einem ...
Wie kann ich diesen einfachen Code mit der Statusmonade schreiben?
Ich bin ein Anfänger bei Haskell und bin auf eine Situation gestoßen, in der ich die Staatsmonade benutzen möchte. (Zumindest denke ich, dass ich das gerne verwenden würde.) Es gibt eine Million Tutorials für die staatliche Monade, aber alle ...
runST mit Hindley-Milner-System
Wenn ich die ST-Monade in Haskell richtig verstehe,runST verwendet auf clevere Weise Rang-2-Typen, um sicherzustellen, dass eine Berechnung auf keinen anderen Thread verweist, wenn sie der Monade entkommt. Ich habe eine Spielzeugsprache mit ...
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, ...
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 ...
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 ...
Applicative ist zu monad, was X zu comonad ist
önnen wir diese Gleichung für X lösen? Applicative ist zu monad, was X zu comonad ist
Warum ist flatMap auf einem Vektor [Option [Int]], dessen Mapper-Funktionsergebnis kein gültiger Vektor [Option [Int]] ist?
Beispielsweise Vector(Some(1), Some(2), Some(3), None).flatMap{ n => n }produziert einVector(1, 2, 3) anstatt einen Fehler zu geben. Wie ich in anderen Sprachen gesehen habe,flatMap wird verwendet, wenn Sie eine Mapper-Funktion haben, die ...
Mischen und vergleichen Sie zustandsbezogene Berechnungen innerhalb der Zustandsmonade
Der Status meines Programms besteht aus drei Werten:a, b, undc, von TypenA, B, undC. Verschiedene Funktionen benötigen Zugriff auf verschiedene Werte. Ich möchte Funktionen mit dem @ schreibState monad, sodass jede Funktion nur auf die Teile des ...
Unter Verwendung verschiedener Monaden zum Verständnis
Können verschiedene Monaden für das Verständnis verwendet werden? Hier ist der Code, der @ verwendmap case class Post(id: Int, text: String) object PostOps { def find(id: Int) : Option[Post] = if (id == 1) Some(Post(1, "text")) else None def ...