monads

9Hitze

4Antwort

Haskell's Monad vs APL's Monad

In APL und Haskell, bedeutet der Begriff Monad zwei völlig verschiedene Dinge, oder das gleiche aus zwei verschiedenen Perspektiven betrachtet. Ich bin ziemlich neu in beiden Sprachen und versuche, di

haskell monads apl 2014-05-06

---

6Hitze

1Antwort

Erbe der Namen der Monadenoperatoren

Ich lese gerade auf Kategorie-Theorie Grundlagen und versuche, die Namen zu verstehen, die Haskell den Monad-Operationen semantisch zuordnet. Alles Material, das ich durch gekommen bin, bezieht sich a

haskell monads 2014-06-27

---

8Hitze

1Antwort

Wie wandelbar Vector in Staat Monad

Ich schrieb kleines Programm in Haskell setzen alle ocurences von Int-Werten im Baum mit Staat Monad mit Vector zu zählen: import Data.Vector import Control.Monad.State import Control.Monad.Identity

haskell monads monad-transformers state-monad st-monad 2014-05-10

---

5Hitze

1Antwort

IO Monade in dynamisch typisierten Sprachen

In Haskell ist eines der Dinge, die ich ziemlich schön finde, die Verwendung von Monaden als Abstraktion über wirkungsvolle Aktionen. Es schafft eine wirklich elegante Möglichkeit, imperativen Code au

haskell functional-programming monads dynamic-typing 2014-07-10

---

6Hitze

2Antwort

Warum kann ich eine monadische Funktion aufrufen, ohne eine Monade zu liefern?

Ich dachte, ich auf Haskell Monaden einen guten Griff hatte, bis ich dieses sehr einfaches Stück Code realisierte keinen Sinn für mich gemacht (dies vom haskell wiki about the State monad ist): playGa

haskell monads state-monad 2014-04-03

---

16Hitze

2Antwort

Warum kann Haskell nicht dazu verleitet werden, IO-Operationen durch strenge Auswertung auszuführen?

Ich lerne nur Haskell und IO Monaden. Ich frage mich, warum sollte dies nicht das Programm zur Ausgabe erzwingen „hallo“ und „bye“: second a b = b main = print ((second $! ((print "hi") >>= (\r -> re

haskell monads io-monad 2014-07-16

---

33Hitze

2Antwort

Warum MonadPlus und nicht Monad + Monoid?

Ich versuche die Motivation hinter dem MonadPlus zu verstehen. Warum ist es notwendig, wenn bereits die Typklassen Monad und Monoid vorhanden sind? Zugegeben, Instanzen von Monoid sind konkrete Typen,

haskell monads monoids 2014-04-11

---

5Hitze

2Antwort

Wie leitet Haskell korrekte Typklassen in der MaybeT-Implementierung ab?

Wie weiß Haskell, welche korrekte Monad-Instanz für jeden Ausdruck return ist? newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) } instance Monad m => Monad (MaybeT m) where return = Maybe

haskell types monads type-inference monad-transformers 2014-07-20

---

12Hitze

2Antwort

Wo ist der Datenkonstruktor für 'State'?

Nachdem ich ein paar Tutorials über Haskell State Monads gelesen hatte, wollte ich sie selbst ausprobieren. Die Tutorials Ich beanspruche gelesen, dass die Control.Monad.State die folgende Definition

haskell monads 2014-06-08

---

7Hitze

1Antwort

C/C++ Wrapper für Haskell IO Monad

Ich möchte eine Haskell-Funktion von C/C++ aufrufen. Ich habe bereits ein paar Tutorials zu diesem Thema gelesen, aber IO-Monad-Anrufe sind darin nicht enthalten. Insbesondere möchte ich eine Funktion

c++ haskell linker monads static-linking 2014-04-23

---