La programmation monads

30

Après avoir brièvement examiné Haskell récemment, quelle serait une explication brève, succincte et pratique de ce qu'est essentiellement une monade? J'ai trouvé que la plupart des explications que j'ai rencontrées étaient assez inaccessibles et manquaient de détails pratiques.

1416 haskell functional-programming monads terminology

19

Monade en anglais simple? (Pour le programmeur OOP sans arrière-plan FP)

En termes qu'un programmeur OOP comprendrait (sans aucun arrière-plan de programmation fonctionnelle), qu'est-ce qu'une monade? Quel problème résout-il et quels sont les endroits les plus courants où il est utilisé? ÉDITER: Pour clarifier le type de compréhension que je cherchais, disons que vous convertissiez une application FP qui avait des …

743 oop functional-programming monads

6

Une monade n'est qu'un monoïde dans la catégorie des endofoncteurs, quel est le problème?

Qui a d'abord dit ce qui suit? Une monade n'est qu'un monoïde dans la catégorie des endofoncteurs, quel est le problème? Et sur une note moins importante, est-ce vrai et si oui, pourriez-vous donner une explication (si tout va bien une qui peut être comprise par quelqu'un qui n'a pas …

723 haskell monads category-theory monoids

8

Une conception à grande échelle à Haskell? [fermé]

Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement de réponses. Fermé il y a 3 ans . Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou …

565 haskell functional-programming monads large-scale

1

Scalaz iteratees: «Lifting» «EnumeratorT» pour correspondre à «IterateeT» pour une monade «plus grosse»

Si j'ai un EnumeratorTet un correspondant, IterateeTje peux les exécuter ensemble: val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c")) val it: IterateeT[String, Task, Int] = IterateeT.length (it &= en).run : Task[Int] Si la monade énumératrice est "plus grosse" que la monade itérée, je peux utiliser upou, plus généralement, Hoist"lever" l'itérée …

445 scala monads scalaz enumerator iterate

6

Que sont les monades gratuites?

Je l' ai vu le terme gratuit Monad pop - up chaque maintenant et puis pendant un certain temps, mais tout le monde semble juste d'utiliser / en discuter sans donner une explication de ce qu'ils sont. Alors: que sont les monades gratuites? (Je dirais que je connais les monades …

369 haskell monads free-monad

7

Pourquoi avons-nous besoin de monades?

À mon humble avis, les réponses à la fameuse question "Qu'est-ce qu'une monade?" , en particulier les plus votés, essayez d'expliquer ce qu'est une monade sans expliquer clairement pourquoi les monades sont vraiment nécessaires . Peut-on l'expliquer comme la solution à un problème?

367 haskell monads

5

De bons exemples de Not a Functor / Functor / Applicative / Monad?

Tout en expliquant à quelqu'un ce qu'est une classe de type X, j'ai du mal à trouver de bons exemples de structures de données qui sont exactement X. Je demande donc des exemples pour: Un constructeur de type qui n'est pas un Functor. Un constructeur de type qui est un …

210 haskell monads functor applicative

6

En C #, qu'est-ce qu'une monade?

On parle beaucoup de monades ces jours-ci. J'ai lu quelques articles / billets de blog, mais je ne peux pas aller assez loin avec leurs exemples pour saisir pleinement le concept. La raison en est que les monades sont un concept de langage fonctionnel, et donc les exemples sont dans …

190 c# c#-3.0 lambda monads

8

Pourquoi les effets secondaires sont-ils modélisés comme des monades dans Haskell?

Quelqu'un pourrait-il expliquer pourquoi les calculs impurs dans Haskell sont modélisés comme des monades? Je veux dire que la monade est juste une interface avec 4 opérations, alors quel était le raisonnement pour modéliser les effets secondaires?

172 haskell functional-programming monads

3

Quel est le but de la monade de lecture?

La monade du lecteur est si complexe et semble inutile. Dans un langage impératif comme Java ou C ++, il n'y a pas de concept équivalent pour la monade du lecteur, si je ne me trompe pas. Pouvez-vous me donner un exemple simple et éclaircir un peu cela?

122 haskell monads reader-monad

16

Motif pour éviter les blocs try catch imbriqués?

Prenons une situation dans laquelle j'ai trois (ou plus) façons d'effectuer un calcul, chacune pouvant échouer avec une exception. Afin d'essayer chaque calcul jusqu'à ce que nous trouvions celui qui réussit, j'ai fait ce qui suit: double val; try { val = calc1(); } catch (Calc1Exception e1) { try { …

114 c# design-patterns try-catch monads

5

Les applicatifs composent, les monades ne le font pas

Les applicatifs composent, les monades non. Que signifie la déclaration ci-dessus? Et quand l'un est-il préférable à l'autre?

110 haskell functional-programming monads monad-transformers applicative

5

Modèles de conception fonctionnelle [fermé]

Fermé. Cette question ne respecte pas les directives de Stack Overflow . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle soit pertinente pour Stack Overflow. Fermé il y a 4 ans . Améliorez cette question Il y a beaucoup d'idiomes …

106 scala haskell functional-programming monads

1

Pourquoi avons-nous map, fmap et liftM?

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Pourquoi avons-nous trois fonctions différentes qui font essentiellement la même chose?

102 list haskell monads redundancy functor

Questions marquées «monads»