monads

9Hitze

1Antwort

Ist es wirklich eine Standardübung, jeden Monad Transformer zu einer Instanz von MonadTrans zu machen?

So Real World Haskell sagt: Jede Monade Transformator eine Instanz von MonadTrans aber ich spiele mit Scotty und fand heraus, dass seine Basis Monade Transformator ScottyT ist nicht eine Instanz von M

7Hitze

2Antwort

Kann GHC Functor- und Applicative-Instanzen für einen Monad-Transformator ableiten?

Ich versuche MaybeT im Geiste der mtl Bibliothek zu implementieren. Mit dieser nicht-Kompilierung Lösung: {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} import Contr

6Hitze

2Antwort

Haskell: Monaden der Monade

Ich lerne etwas Haskell und ich habe einige Probleme mit diesen Monaden, ich verstehe über sie und weiß, worüber sie sind, aber in diesem speziellen Fall habe ich einige Probleme. Während es auf Lyah

6Hitze

2Antwort

Was ist die Verbindung zwischen Generatorfunktionen und Monaden in JavaScript?

Ein Software-Entwicklung Enthusiasten noted the following: Aktuelle Status: zwanghaft all meine JS Umschreiben nach der intuitiven Verbindung zwischen Generatorfunktionen und Monade Comprehensions mac

6Hitze

1Antwort

Verschachtelte Monaden in Haskell zusammenstellen

Gibt es eine Möglichkeit, die Bindung für verschachtelte Monaden zu implementieren? Was ich will, ist die folgende Signatur: (>>>=) :: (Monad m, Monad n) => m (n a) -> (a -> m (n b)) -> m (n b) Es s

10Hitze

3Antwort

Gibt es in Haskell eine "Ketten" -Monadenfunktion?

Erklären Sie über ein "Duplikat" Jemand zeigen Sie auf Is this a case for foldM? als ein mögliches Duplikat. Nun bin ich der festen Überzeugung, dass zwei Fragen, die mit identischen Antworten beantwo

11Hitze

1Antwort

Arbeiten mit dem `MonadBaseControl` API

ich zur Zeit mit dem Bryan O'Sullivan resource-pool Bibliothek spielte und haben eine Frage in Bezug auf die withResource Funktion erstreckt. Ich möchte die Signatur der withResource Funktion (MonadBa

11Hitze

3Antwort

Gibt es irgendeine Intuition, um zwei Funktionen in Monad zu verbinden?

join wird zusammen mit bind definiert, um die kombinierte Datenstruktur in eine einzelne Struktur zu reduzieren. Vom Typ Systemansicht, (+) 7 :: Num a => a -> a als Functor in Betracht gezogen werden

5Hitze

2Antwort

Stateful Schleife mit verschiedenen Arten von Brüchen

Ich versuche, den folgenden Stateful Imperativ-Code in Haskell zu konvertieren. while (true) { while (get()) { if (put1()) { failImmediately(); } } if (put2()) { su

9Hitze

1Antwort

Wie CPS-Stil gcd Berechnung konvertieren die Fortsetzung Monad

Lassen Sie uns die folgende Umsetzung der Fortsetzung Monade betrachten zu verwenden, für CPS-Stil Berechnungen ergeben und integer: module Cont : sig type 'a t = ('a -> int) -> int val retu