free-monad

Die meisten monadischen Funktionen nehmen reine Argumente und geben einen monadischen Wert zurück. Aber es gibt einige, die auch monadische Argumente brauchen, zum Beispiel: %Vor% Jeder von ihnen scheint ein anderes Problem aufzuwerfen und i...

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 einer anderen Monade abbilden. Gabriel...

Ich hatte vorher gedacht, dass ein Teil des Ziels der Implementierung war, genau dieses Problem zu vermeiden, also mache ich etwas offensichtlich dummes? Hier ist ein Code: %Vor% Hinweis: Ich weiß, das ist albern :) In der Praxis hat mein...

Diese Frage bezieht sich auf diesen Artikel Die Idee ist, eine DSL für das Manipulieren von Dateien in der Cloud zu definieren und ein Zusammensetzung von Dolmetschern, die sich um die verschiedenen Aspekte kümmern, wie z Kommunikation mit...