monads

30Hitze

3Antwort

Beispiele für eine Monade, deren Anwendungsteil besser optimiert werden kann als der Monad Teil

In einer Diskussion hörte ich, dass die Schnittstelle von einigen Parsern anders implementiert ist, effizienter als ihre Monad Schnittstelle. Der Grund ist, dass wir mit Applicative alle "Effekte" im

6Hitze

3Antwort

Berechnungsausdrücke für einen Haskell Programmierer

Ich suche F # zu lernen, aber eine Sache, die zu mir verwirrend ist, ist der Berechnungsausdruck (do-notation ??) Syntax und desugaring. In Haskell haben Sie eine sehr einfache Monad typeclass und Reg

25Hitze

4Antwort

Wie kann Nicht-Determinismus mit einer List-Monade modelliert werden?

Kann jemand erklären (besser mit einem Beispiel in einfachem Englisch), was eine Listenmonade tun kann, um nicht-deterministische Berechnungen zu modellieren? Nämlich was das Problem ist und welche Lö

6Hitze

2Antwort

Wie werden List-Comprehensions in Haskell implementiert?

Sind Listen-Comprehensions einfach eine Sprachfunktion? Was ist der einfachste Weg, ein Listenverständnis mit reinem Haskell zu fälschen? Müssen Sie einen do-Block verwenden/>>=, um dies zu tun oder k

6Hitze

3Antwort

Monaden aus allen Winkeln - Mathematisch, diagrammatisch und programmatisch

Ich versuche die kategorische Definition von Monad mit den anderen allgemeinen Darstellungen/Definitionen, die ich in anderen Tutorials/Büchern gesehen habe, in Einklang zu bringen. Unten ich bin (vie

5Hitze

1Antwort

Definieren Sie scalaz Monad-Instanz für eine formlose hlist

Ich habe versucht, eine Monad (scalaz) für formlose HList bis point und bind Implementierung zu definieren. Das erste Problem ist, dass HList Trait ist kein Typ Konstruktor, aber das kann mit Typ Lamb

5Hitze

1Antwort

Was Haskell Paket hat eine Einheit Funktor/Monade?

Ich suche die Einheit Funktors/Monade data Unit a = Unit ich es leicht wiederherstellen könnte, aber ich möchte lieber nicht etwas, das Grund duplizieren. Es lebte in Control.Functor im Kategorie-Ex

6Hitze

1Antwort

Control.MonadPlus.Free ohne unnötige Verteilung

Ich versuche, eine kostenlose Monade zu verwenden, um eine EDSL für den Aufbau UND/ODER Entscheidungsbäume wie Prolog, mit zugeordnet AND, und mplus auf OR zugeordnet. Ich möchte in der Lage sein, etw

6Hitze

1Antwort

Monaden für Kontrollfluss - Reihenfolge, Auswahl und Iteration

Ich kann sehen, wie Sie eine Monade verwenden würden ist Haskell für IO - um einen Container um die Berechnung für diesen Vorgang zu erstellen. Es macht Sinn, dass Sie Monaden verwenden können, um Ber

6Hitze

1Antwort

Gibt es eine prinzipielle Möglichkeit, zwei Monaden-Transformatoren zu erstellen, wenn sie von unterschiedlicher Art sind, aber die zugrunde liegende Monade vom selben Typ ist?

Nicht viel kann ich tun, um die Frage zu erweitern. Aber hier ist ein Anwendungsfall: Angenommen, Sie zwei Monade Transformatoren haben, t und s, gegenüber dem gleichen Monade Umwandlung m: master ::