Programmierung monads

30

Was wäre eine kurze, prägnante und praktische Erklärung, was eine Monade im Wesentlichen ist , nachdem sie sich kürzlich kurz mit Haskell befasst hat? Ich habe festgestellt, dass die meisten Erklärungen, auf die ich gestoßen bin, ziemlich unzugänglich sind und keine praktischen Details enthalten.

1415 haskell functional-programming monads terminology

19

Monade im Klartext? (Für den OOP-Programmierer ohne FP-Hintergrund)

Was ist eine Monade, die ein OOP-Programmierer verstehen würde (ohne funktionalen Programmierhintergrund)? Welches Problem löst es und an welchen Orten wird es am häufigsten verwendet? BEARBEITEN: Nehmen wir an, Sie haben eine FP-Anwendung mit Monaden in eine OOP-Anwendung konvertiert, um das von mir gesuchte Verständnis zu verdeutlichen. Was würden Sie …

743 oop functional-programming monads

6

Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren. Was ist das Problem?

Wer hat zuerst folgendes gesagt? Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren. Was ist das Problem? Und in einem weniger wichtigen Punkt, ist dies wahr und wenn ja, könnten Sie eine Erklärung geben (hoffentlich eine, die von jemandem verstanden werden kann, der nicht viel Erfahrung mit …

723 haskell monads category-theory monoids

8

Großes Design in Haskell? [geschlossen]

Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Geschlossen vor 3 Jahren . Gesperrt . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber historische Bedeutung hat. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Was ist ein guter …

565 haskell functional-programming monads large-scale

1

Scalaz iteriert: "Heben" von "EnumeratorT", um "IterateeT" für eine "größere" Monade zu finden

Wenn ich ein EnumeratorTund ein entsprechendes IterateeThabe, kann ich sie zusammen ausführen: val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c")) val it: IterateeT[String, Task, Int] = IterateeT.length (it &= en).run : Task[Int] Wenn die Enumerator-Monade "größer" als die Iteratee-Monade ist, kann ich die Iteratee verwenden upoder allgemeiner Hoist"anheben", um sie …

445 scala monads scalaz enumerator iterate

6

Was sind freie Monaden?

Ich habe den Begriff gesehen Freie Monad Pop - up jeden jetzt und dann für einige Zeit, aber jeder scheint nur zu benutzen / diskutieren sie , ohne eine Erklärung zu geben , was sie sind. Also: Was sind freie Monaden? (Ich würde sagen, ich bin mit Monaden und den …

368 haskell monads free-monad

7

Warum brauchen wir Monaden?

Meiner bescheidenen Meinung nach die Antworten auf die berühmte Frage "Was ist eine Monade?" Versuchen Sie, insbesondere die am häufigsten gewählten, zu erklären, was eine Monade ist, ohne klar zu erklären, warum Monaden wirklich notwendig sind . Können sie als Lösung für ein Problem erklärt werden?

366 haskell monads

5

Gute Beispiele für Not a Functor / Functor / Applicative / Monad?

Während ich jemandem erkläre, was eine Typklasse X ist, bemühe ich mich, gute Beispiele für Datenstrukturen zu finden, die genau X sind. Also bitte ich um Beispiele für: Ein Typkonstruktor, der kein Functor ist. Ein Typkonstruktor, der ein Functor ist, aber nicht anwendbar. Ein Typkonstruktor, der anwendbar ist, aber keine …

209 haskell monads functor applicative

6

Was ist in C # eine Monade?

Heutzutage wird viel über Monaden gesprochen. Ich habe einige Artikel / Blog-Beiträge gelesen, kann aber mit ihren Beispielen nicht weit genug gehen, um das Konzept vollständig zu verstehen. Der Grund dafür ist, dass Monaden ein funktionales Sprachkonzept sind und die Beispiele daher in Sprachen vorliegen, mit denen ich nicht gearbeitet …

189 c# c#-3.0 lambda monads

8

Warum werden Nebenwirkungen in Haskell als Monaden modelliert?

Könnte jemand einige Hinweise geben, warum die unreinen Berechnungen in Haskell als Monaden modelliert werden? Ich meine, Monade ist nur eine Schnittstelle mit 4 Operationen. Was war also der Grund für die Modellierung von Nebenwirkungen?

172 haskell functional-programming monads

3

Was ist der Zweck der Lesermonade?

Die Lesermonade ist so komplex und scheint nutzlos zu sein. In einer imperativen Sprache wie Java oder C ++ gibt es kein gleichwertiges Konzept für die Lesermonade, wenn ich mich nicht irre. Können Sie mir ein einfaches Beispiel geben und dies ein wenig klären?

122 haskell monads reader-monad

16

Muster zur Vermeidung verschachtelter Try-Catch-Blöcke?

Stellen Sie sich eine Situation vor, in der ich drei (oder mehr) Möglichkeiten habe, eine Berechnung durchzuführen, von denen jede mit einer Ausnahme fehlschlagen kann. Um jede Berechnung zu versuchen, bis wir eine finden, die erfolgreich ist, habe ich Folgendes getan: double val; try { val = calc1(); } catch …

114 c# design-patterns try-catch monads

5

Bewerber komponieren, Monaden nicht

Bewerber komponieren, Monaden nicht. Was bedeutet die obige Aussage? Und wann ist einer dem anderen vorzuziehen?

110 haskell functional-programming monads monad-transformers applicative

5

Funktionale Entwurfsmuster [geschlossen]

Geschlossen. Diese Frage entspricht nicht den Richtlinien für Stapelüberlauf . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Stack - Überlauf. Geschlossen vor 4 Jahren . Verbessere diese Frage Es gibt viele funktionale Redewendungen: Monaden, Applikative, Pfeile usw. …

106 scala haskell functional-programming monads

1

Warum haben wir map, fmap und liftM?

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Warum haben wir drei verschiedene Funktionen, die im Wesentlichen dasselbe tun?

102 list haskell monads redundancy functor

Als «monads» getaggte Fragen