Suchergebnisse für Anfrage "monads"
Konkretes Beispiel, das zeigt, dass Monaden unter Komposition (mit Beweis) nicht geschlossen sind?
Es ist allgemein bekannt, dass anwendungsbezogene Funktoren unter Komposition geschlossen sind, Monaden jedoch nicht. Ich hatte jedoch Probleme, ein konkrete...
Warum gibt es in Haskell keinen IO-Transformator?
Jede zweite Monade wird mit einer Transformatorversion geliefert, und nach meinem Kenntnisstand ist die Idee eines Transformators eine generische Erweiterung...
Unterschied zwischen Haskells Lazy und Strict Monaden (oder Transformatoren)
Beim Durchsuchen von Hackage haben die meisten Monaden eine Lazy- und eine Strict-Version. Was ist der Unterschied genau? Können Sie es mit einigen Beispiele...
Was sind freie Monaden?
Ich habe den Begriff gesehenFreie Monade Pop-upjeden jetzt und dann für einige Zeit, aber jeder scheint sie nur zu benutzen / zu diskutieren, ohne eine Erklä...
Unter welchen Umständen sind monadische Berechnungen schwanzrekursiv?
In Haskell WikisRekursion in einer Monade Es gibt ein Beispiel, das behauptet wirdrekursiv:
die Äquivalenz zwischen applikativem Funktor und Monade
Die Leute sagen, Monaden sind eine Erweiterung der anwendbaren Funktoren, aber das sehe ich nicht. Nehmen wir ein Beispiel für einen anwendbaren Funktor:
Implementieren einer indizierten Folgemonade im Indexkernstil
Ich habe in letzter Zeit indizierte Monaden betrachtet (und versucht zu verstehen). Ich glaube, ich habe einen Stil der indizierten Monade im Kopf, wie hier ...