monads

6Hitze

1Antwort

Was ist eine idiomatische Art der Handhabung eines Lazy-Eingangskanal in Haskell

Ich bin ein IRC-Bot implementieren und da ich über SSL mithilfe von OpenSSL.Session verbinden, verwende ich lazyRead Funktion, um Daten aus dem Socket zu lesen. Während der Anfangsphase der Verbindung

12Hitze

1Antwort

Haskell `forever` Art Signatur

In Haskell, warum Typ-Signatur von forever forever :: Monad m => m a -> m b Insbesondere, warum ist es nicht nur :: Monad m => m a -> m a? Sicherlich die Art von Monade, auf die wir handeln, ändert

8Hitze

2Antwort

Warum werden Instanzen nur von ihren Köpfen abgeglichen?

Ich werde mit der Einführung eines konkreten Problems (StackOverflow Jungs wie folgt) beginnen. Sagen Sie bitte einen einfachen Typ definieren data T a = T a Dieser Typ ist ein Functor, Applicative

6Hitze

1Antwort

So implementieren Sie einen Kurzschluss mit IO-Monade in Scala

Ich verwende eine Standard-IO-Monade. Und irgendwann muss ich kurzschließen. Unter bestimmten Bedingungen möchte ich die folgenden IOS nicht ausführen. Hier ist meine Lösung, aber ich fand es zu ausfü

8Hitze

1Antwort

Was zum Teufel ist "- <", wie auch immer?

Neulich stieß ich auf einen Operator, -<, der im Zusammenhang mit der Bindung eines Wertes an eine Variable in einer Monade erscheint; Insbesondere sieht es so aus, als übergebe es einen Wert an eine

6Hitze

2Antwort

Warum kann ich nicht zwei Leser übereinander stapeln?

bekomme ich Fehler wie folgt aus: Lassen Sie uns sagen, ich habe ein monadStack ReaderT A (ReaderT B m), wenn ich ask oder asks verwenden, bekomme ich einen Fehler wie folgt aus: Types.hs:21:10:

6Hitze

2Antwort

faltlWithKey in monad

Ich bin auf der Suche nach einer Funktion, die wie foldlWithKey, aber in einer Monade gekapselt. Ich würde erwarten, dass es Typen hat Monad m => (a -> k -> b -> m a) -> a -> Map k b -> m a aber Hoo

13Hitze

1Antwort

Scala State Monade - Kombinieren verschiedener State-Typen

Ich wickle meinen Kopf um State Monad. Triviale Beispiele sind leicht zu verstehen. Ich gehe jetzt zu einem realen Fall, in dem die Domänenobjekte zusammengesetzt sind. Zum Beispiel mit den folgenden

8Hitze

4Antwort

Haskell - wie nächste Schritt in Tic Tac Toe-Spiel mit Liste Monade

Ich bin der Umsetzung ein Tic Tac Toe-Spiel für n * n Board in Haskell zu erzeugen, und ich brauche alle Board-Konfigurationen zu erzeugen, die ich ab dem nächsten Zug bekommen. I Board definiert sich

5Hitze

2Antwort

Ist es eine Monade versuchen, wenn Einheit = Erfolg?

Mit unit = Try, Try ist keine Monade, weil die linke Einheit Gesetz scheitert. Try(expr) flatMap f != f(expr) Aber was ist die Frage wird: Ist es Try eine Monade, wenn unit = Success? In diesem Fall