monads

8Hitze

1Antwort

Haskell: Wie schreibe ich eine monadische Variadic-Funktion, mit Parametern mit dem monadischen Kontext

Ich versuche, eine Variadic-Funktion mit einem monadischen Rückgabetyp zu machen, deren Parameter auch den monadischen Kontext erfordern. (Ich bin nicht sicher, wie man diesen zweiten Punkt beschreibe

28Hitze

4Antwort

Konstruieren von effizienten Monad-Instanzen auf `Set` (und anderen Containern mit Constraints) unter Verwendung der Fortsetzungs-Monade

Set, ähnlich wie [] hat eine perfekt definierte monadische Operationen. Das Problem ist, dass sie erfordern, dass die Werte Ord Constraint erfüllen, und daher ist es unmöglich, return und ohne Einschr

8Hitze

1Antwort

Wie verbinden sich anwendungsbezogene Funktoren mit Parallelisierungsalgorithmen? (Scala und Scalaz)

Von Josh Suereth der „Scala in Depth“: „Applicative functors bieten eine Möglichkeit, zwei Berechnungen zu nehmen und kommen sie zusammen eine Funktion mit dem Travers Beispiel zeigt, wie zwei Sammlun

19Hitze

2Antwort

Wenden Monodentransformatoren an, um JSON von Diensten zu beziehen?

Ich habe ein Spiel! 2 für die Scala-Anwendung, die einige Daten im JSON-Format von einem externen Dienst abrufen muss. Das Spiel! Framework ermöglicht es, HTTP-Anforderungen asynchron zu stellen, inde

24Hitze

2Antwort

Wie ist der aktuelle Status von eingeschränkten Monaden?

Zurückgehend auf mindestens Ende der 1990er Jahre gab es Leute, die die Integration von restricted monads in Haskell auf freundliche Art und Weise wünschten. Zum Beispiel ohne eingeschränkte Monaden k

5Hitze

1Antwort

Kann ich die Verwendung von UndecidableInstances in dieser Show-Instanz für eine kostenlose Monade eliminieren?

Ich habe gerade versucht, meinen Kopf um freie Monaden zu wickeln; als Lernhilfe, ich habe eine Show Instanz für die folgenden Free Art schreiben verwaltet: {-# LANGUAGE FlexibleContexts, UndecidableI

7Hitze

2Antwort

Haskell IO Monad und Speicher verwenden

Ich verstehe wahrscheinlich die IO-Monade sehr gut. Wenn ich eine Anwendung schreibe, die voraussichtlich für viele Monate läuft und währenddessen ihren Fortschritt protokolliert, wird die IO-Monade a

5Hitze

3Antwort

Kombinieren Scala Option [Iterable [_]]

Ich versuche, zwei Option[Iterable[_]] in eine neue Option[Iterable[_]] zu kombinieren. Ich würde gerne ein Einige zurückgeben, wenn eines (oder beide) der Elemente ein Some und ein None ist. Es schei

19Hitze

2Antwort

Comonad Beispiel in Scala

Was ist Comonad, wenn es möglich ist, in Scala-Syntax zu beschreiben. Ich fand scalaz Bibliothek Implementierung, aber es ist nicht klar, wo es nützlich sein kann.

10Hitze

2Antwort

Stackoverflow in Fortsetzung Monade

die folgende Fortsetzung Monade Verwendung: type ContinuationMonad() = member this.Bind (m, f) = fun c -> m (fun a -> f a c) member this.Return x = fun k -> k x let cont = ContinuationMona