monads

8Hitze

3Antwort

Was ist das Besondere an 'Return' Stichwort

Als ich zu verstehen schien, was Rendite in Haskell ist, habe ich versucht, mit verschiedenen Alternativen zu spielen und es scheint, dass Rückkehr kann nicht überall in der Monade-Kette verwendet wer

10Hitze

2Antwort

Ist jemand monadischen bind-Stil-Programmierung mit mit <T> Erwartete

(zunächst „bind“ in der Frage hat nichts mit std::bind zu tun) ich die Expected<T> talk und ich dachte, die Präsentation über die Geschichte dieses beobachtet haben Technik fehlte die Kernidee hinter

7Hitze

2Antwort

Wie implementiere ich Reader mit freien Monaden?

Ok, ich habe so herausgefunden, wie Reader zu implementieren (und ReaderT, nicht gezeigt), um das operational Paket mit: {-# LANGUAGE GADTs, ScopedTypeVariables #-} import Control.Monad.Operational

13Hitze

3Antwort

Wie mache ich eine Do-Block-Rückgabe früh?

Ich versuche, für eine Webseite mit Haskell zu kratzen und die Ergebnisse in ein Objekt zu kompilieren. Wenn, aus welchen Gründen auch immer, ich nicht alle Einzelteile von den Seiten erhalten kann, m

10Hitze

1Antwort

MonadFix in strenger Sprache

Ich arbeite an Camlp4-Erweiterung für Haskell-Do-Notation in Ocaml, und versuchen herauszufinden, wie GHC rekursive Do-Bindungen (aktiviert mit -XDoRec) kompiliert. Ich frage mich, ob es für monadisch

5Hitze

1Antwort

Bindung von Monaden zu Kompositen (Haskell)

Guten Tag Leute. Ich suche bitte einige Erläuterungen zu Monaden bitte und mit Bind (bitte gehen Sie in eine Composite .) bitte. So für dieses Beispiel: --Monadic parts: readFile :: String -> IO File

9Hitze

1Antwort

Was ist der idiomatische Weg, um reine Funktionen innerhalb eines MaybeT (StateT) MonadT Stacks aufzurufen, so dass sich ein Fehler ausbreitet?

Konkret sagen wir mal ich diesen monadT Stack: type MHeap e ret = MaybeT (StateT [e] Identity) ret und eine runMheap Funktion für convience: runMheap :: MHeap e ret -> [e] -> (Maybe ret, [e]) runMh

49Hitze

1Antwort

Einfache Beispiele zur Veranschaulichung von Kategorie, Monoid und Monad?

Ich bin sehr verwirrt mit diesen drei Konzepten. Gibt es einfache Beispiele zur Veranschaulichung der Unterschiede zwischen Kategorie, Monoid und Monad? Es wäre sehr hilfreich, wenn es eine Illustrati

6Hitze

1Antwort

Member-Funktion funktioniert nicht richtig für Gleitkommazahlen

In this Antwort, wird der folgende Code wie folgt bewertet: > let x = fromList [0, -1, 0/0, -5, -6, -3] :: Set Float > member 0 x True > let x' = insert (0/0) x > member 0 x' False Der Autor

5Hitze

1Antwort

Kann keine richtige Signatur für eine Funktion mit STUArray finden (keine kann GHC)

Ich baute eine Funktion zum Auffinden der Determinante einer Matrix mit der ST-Monade und unboxed STArrays (STUArray). Der Typ für eine Matrix ist die folgende: newtype Matrix e = Matrix (Array Int (U