monads

24Hitze

1Antwort

New Entzuckern Verhalten in Scala 2.10.1

nehme ich diese monadischen Klasse: case class Foo[A](xs: List[A]) { def map[B](f: A => B) = Foo(xs map f) def flatMap[B](f: A => Foo[B]) = Foo(xs flatMap f.andThen(_.xs)) def withFilte

5Hitze

1Antwort

MonadTransControl Beispiel für eine benutzerdefinierte Monade

Die Dokumentation für monad-control bietet ein Beispiel dafür, wie eine Instanz von MonadTransControl mit erstellen defaultLiftWith und defaultRestoreT. Das Beispiel ist für die folgenden newtype: new

6Hitze

1Antwort

Ist dies eine Implementierung eines Fixpunktkombinators?

Ich vermutete, dass dies nicht "Fixpunkt Rekursion" genannt werden konnte, weil es zu einfach war. Ich habe jedoch kürzlich festgestellt, dass es tatsächlich möglich ist. Habe ich tatsächlich Fixpunkt

17Hitze

1Antwort

Wie erklären Sie die Assoziativität des Bindeoperators in diesem hakell Ausdruck?

Ohne Klammern: Prelude> [1,2] >>= \n -> ['a', 'b'] >>= \ch -> return (n, ch) [(1,'a'),(1,'b'),(2,'a'),(2,'b')] Klammerung links Assoziativität unter der Annahme: Prelude> [1,2] >>= (\n -> ['a', 'b'

6Hitze

2Antwort

Rückgabe eines aus einer Monade extrahierten Elements; redundant?

Sind die folgenden zwei Implementierungen von flatten gleichwertig für alle wohlerzogenen Monaden? flatten1 xss = do xs <- xss x <- xs return x flatten2 xss = do xs <- xss x

5Hitze

1Antwort

kann ich StateP von Control.Proxy eine Instanz von MonadState machen?

Ich ändere einen Code, der innerhalb einer StateT Monade innerhalb von StateP von Control.Proxy ausgeführt wurde. Jedoch erfordert ein Teil meines Codes (z. B. der %=-Operator von Control.Lens) eine M

6Hitze

2Antwort

Haskell: Ausnahmebehandlung in Nicht-IO-Monaden

Ich fing an, Yesod zu verwenden, um ein kleines Projekt zu entwickeln, das ist das erste Mal, dass ich Haskell verwende, um etwas wirklich zu tun. Dieser Code, der ein Anmeldeformular Griffe funktioni

5Hitze

1Antwort

Anwendungsbeispiel für (Monad m, Monoid o) => m o?

Entschuldigung für den schrecklichen Titel. Ich versuche, eine Instanz von Applicative für einen Monad Wrapping einen Typ zu machen, der ein Monoid ist. instance (Monad m, Monoid o) => Applicative (m

6Hitze

1Antwort

Verallgemeinern der "Sequenz" für alle Funktoren?

Ich habe diesen Code: fmapM :: Monad m => (a -> m b) -> (t, a) -> m (t, b) fmapM f (id, e) = do ev <- f e return (id, ev) , die im Grunde die Funktion in dem Tupel dem zweiten Element gil

5Hitze

1Antwort

Wie funktioniert das Delay genau in continuation monad um Stackoverflow zu verhindern?

Dies ist eine Referenzfrage dazu: StackOverflow in continuation monad mit denen ich ein wenig spielte und ein paar Erläuterungen benötigen würde. 1) Ich nehme an, dies: member this.Delay(mk) = fun c -