monads

0Hitze

1Antwort

Warum ist Monad der Sorte Set1?

Ich habe versucht, die Monad-Klasse in Agda zu kodieren. Ich habe so weit gekommen: module Monad where record Monad (M : Set → Set) : Set1 where field return : {A : Set} → A → M A

functional-programming monads agda dependent-type 2016-06-01

---

0Hitze

2Antwort

Art der Hauptfunktion bedeutet nicht zu meiner Anwendung

Wie wir wissen, hat die Hauptfunktion Typ IO(). Es ist jedoch ein Problem für mich, weil mein Programm einen Fehler zurückgibt. Es bedeutet, dass ich von der Hauptfunktion so etwas bin Ausführung: Err

haskell io monads 2016-04-25

---

8Hitze

2Antwort

Filter IO [Maybe String] zu IO [String]

Wie filtert man IO [Maybe String], um nur die Just Werte der Liste unter Verwendung zu behalten und den IO Kontext zu behalten. -- returns Just, if the passed binary-name is not present on the system

haskell monads 2016-04-28

---

0Hitze

1Antwort

Wie ich Funktion auf der Liste läuft mit Fehlerausbreitung

Hilfe in folgenden Sache bitte: Ich habe zwei Funktionen: eFAs :: [Ex] -> [AD] -> ReaderT E (StateT St (ErrorT String IO)) [(VN, TT)] eFA :: (Ex, AD) -> ReaderT E (StateT St (ErrorT String IO)) (VN,

haskell monads 2016-04-28

---

1Hitze

2Antwort

Haskell, Monad, Definition der Bindung und seltsame Mustererkennung auf einem Ausgabewert?

Unten ist ein Code, der von der Antwort auf another stack overflow question kommt. Es ist schon einige Wochen her, dass ich angefangen habe, Haskell zu studieren, und ich musste dieser besonderen Synt

haskell pattern-matching bind monads 2016-05-01

---

3Hitze

1Antwort

Staat Monaden: Der Übergang von einem Zustand Typ in einen anderen

Lassen Sie uns sagen, dass wir einen Stapel von Monaden mit einem Zustand Monade Transformator als Außen meisten Transformator wie diese haben: -- | SEWT: Composition of State . Except . Writer monad

haskell monads monad-transformers state-monad 2016-05-06

---

2Hitze

2Antwort

Rückkehr Zufallsgenerator aus runST

Ich versuche, einen Zufallsgenerator in einer runST Anweisung zu verwenden und den Generator nach Gebrauch zurückzugeben, so kann es an anderer Stelle verwendet werden. Wenn ich nur einen Vektor zurüc

haskell monads 2016-05-16

---

-2Hitze

1Antwort

Funktion lokale Haskell Reader Monade

ich prüfen, ob zwei unter Ausdrücke sind äquivalent: env <- ask local (\_ -> env) sth und: local (\env -> env) sth Wenn nicht, wo er mit dem Argument Lambda genommen wird?

haskell monads 2016-05-16

---

1Hitze

2Antwort

State Monad Bind

Ich denke, ich verstehe, wie die State Monad funktioniert. Ich habe es geschafft, einen Code zu schreiben, der die State Monade verwendet. Ich verstehe, wie die Monade Instanz von Staat funktioniert:

haskell functional-programming monads state-monad 2016-05-19

---

1Hitze

1Antwort

Versuchen, vielleicht Monaden mit LiveScript

zu verstehen Ich versuche, Monaden besser zu verstehen. Ist diese minimale Implementierung einer Maybe Monad Correct? auch wenn dies korrekt ist - gibt es eine letzte Funktion, die ich bin verwirrt da

javascript monads maybe livescript 2016-06-02

---