free-monad

8Hitze

1Antwort

Drucken der freien Monade

Man kann eine freie Monade in jede andere Monade übersetzen, aber bei einem Wert vom Typ Free f x möchte ich den gesamten Baum drucken, nicht jeden Knoten des erzeugten AST auf einen anderen Knoten in

haskell monads traversal free-monad 2015-12-15

---

9Hitze

1Antwort

Wie Aktionen zu kodieren, die monadische Argumente mit frei nehmen (oder frei) Monaden?

meisten monadischen Funktionen nehmen reine Argumente und geben einen monadischen Wert. Aber es gibt ein paar, die auch monadischen Argumente benötigen, beispielsweise: mplus :: (MonadPlus m) => m a -

haskell monads free-monad 2015-12-20

---

2Hitze

1Antwort

Haskell: Memoising mit MonadState in einem FreeMonad Interpreter

Da ich die folgenden DSL habe und dessen Dolmetscher (kostenlos Monad verwenden): data MyDslF next = GetThingById Int (Thing -> next) | Log Text next type MyDslT = FT MyDslF runMyDsl ::

haskell memoization monad-transformers state-monad free-monad 2016-07-15

---

20Hitze

1Antwort

Monadische Effekte in einer Freien Monade in Scala

Ich lerne über die Freie Monade in Scala, und ich habe ein einfaches Beispiel für Algebra zusammengestellt, das ich mit Katzen in eine Freie Monade erheben kann. Hier ist meine Algebra sealed trait Co

scala free-monad scala-cats 2015-09-24

---

1Hitze

1Antwort

Wie ein RankNType qualifizierter Konstruktor

(AKTUALISIERT) Ich habe gemacht eine Schnittstelle mit einem Free Monad, um einen generischen Datenspeicher einen Wert aus dem IO Monade asign. Ich möchte den spezifischen Interpreter (:: DataStore a

haskell free-monad higher-rank-types 2016-07-29

---

7Hitze

1Antwort

Freie Implementierung in scalaz

Die freie Implementierung in Haskell ist: data Free f a = Pure a | Free (f (Free f a)) während der Umsetzung in Scalaz ist: sealed abstract class Free[S[_], A] private case class Return[S[_], A]

scala scalaz free-monad 2016-06-10

---

5Hitze

2Antwort

bifunctor in Haskell nach dem am wenigsten festen Typ

Ich bin nicht sicher, wie die Funktors Instanz abzuleiten nach einem festen Punkt machen: data FreeF f a next = PureF a | FreeF (f next) deriving (Functor) data Mu f = In { out :: f (Mu f) } newty

haskell functor recursive-datastructures free-monad 2016-01-14

---

6Hitze

1Antwort

So verwenden Sie die freie Monade mit Future [M [_]]

Ich habe eine einfache Sprache für einen ETL-Prozess mit der freien Monade implementiert. Bei der Verwendung von List als Eingabe und Ausgabe sowohl zum Abrufen als auch zum Speichern von Daten funkti

scala monad-transformers free-monad scala-cats 2016-06-13

---

6Hitze

1Antwort

Ist es möglich, polymorphe Funktionen in einem DSL mit Free

zu implementieren Ich baue ein kleines DSL mit Free Monads. Ich möchte in meinem DSL polymorphe Funktionen haben können. Ein Beispiel für etwas, das ich ist dies bauen mag: {-# LANGUAGE TemplateHaskel

haskell dsl free-monad 2016-08-03

---

3Hitze

2Antwort

MonadError-Instanz für eine freie Monade

Ich habe eine sehr nützliche freie Monade aus einem Summen-Datentyp erstellt. Der Abstracts Zugang zu einem persistenten Datenspeicher: data DataStoreF next = Create Asset (String -> next)

haskell typeclass free-monad overlapping-instances 2016-08-05

---