Une monade en programmation est une description de calcul composable. Les monades sont une construction importante dans les langages de programmation fonctionnels comme Haskell.
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
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...
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 beaucoup...
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...
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...
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 et les bases de...
À 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
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 Functor, mais pas...
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 des langages...
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?
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
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...
Les applicatifs composent, les monades non. Que signifie la déclaration ci-dessus? Et quand l'un est-il préférable à
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...
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
Qu'est-ce que la monade indexée et la motivation de cette monade? J'ai lu que cela aide à suivre les effets secondaires. Mais la signature de type et la documentation ne me mènent nulle part. Quel serait un exemple de la façon dont il peut aider à suivre les effets secondaires (ou tout autre...
Je suis nouveau dans la programmation fonctionnelle et j'ai récemment appris à Learn You a Haskell , mais quand j'ai parcouru ce chapitre , je suis resté coincé avec le programme ci-dessous: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got...
Hackage propose plusieurs packages pour les transformateurs monades: mtl : bibliothèque de transformateurs Monad transformateurs : foncteur béton et transformateurs monades monads-fd : classes Monad, utilisant des dépendances fonctionnelles monads-tf : classes Monad, utilisant des familles de...
Je travaille sur Écrivez-vous un schéma en 48 heures (je suis jusqu'à environ 85 heures) et je suis arrivé à la partie sur l' ajout de variables et d'affectations . Il y a un grand saut conceptuel dans ce chapitre, et j'aurais aimé que cela ait été fait en deux étapes avec une bonne...
Je ne semble vraiment pas comprendre Map et FlatMap. Ce que je n'arrive pas à comprendre, c'est en quoi une for-compréhension est une séquence d'appels imbriqués à map et flatMap. L'exemple suivant provient de la programmation fonctionnelle dans Scala def