Génie logiciel monad

2

Qu'est-ce que le motif «Free Monad + Interpreter»?

J'ai vu des gens parler de Free Monad avec Interpreter , en particulier dans le contexte de l'accès aux données. Quel est ce modèle? Quand pourrais-je vouloir l'utiliser? Comment cela fonctionne-t-il et comment pourrais-je le mettre en œuvre? Je comprends (à partir de messages comme celui- ci ) qu’il s’agit …

95 design-patterns functional-programming haskell dsl monad

5

Critique de la monade d'IO considérée comme une monade d'état opérant sur le monde

La IOmonade à Haskell est souvent décrite comme une monade d’État où l’État est le monde. Ainsi, une valeur de type IO amonad est considérée comme quelque chose comme worldState -> (a, worldState). Il y a quelque temps, j'ai lu un article (ou un article de blog / liste de …

46 functional-programming haskell io monad

7

Peut-être monade vs exceptions

Je me demande quels sont les avantages de la Maybe monade par rapport aux exceptions? Il semble que ce Mayben’est qu’un moyen de try..catchsyntaxe explicite (et plutôt encombrant) . update Veuillez noter que je ne mentionne pas intentionnellement Haskell.

34 language-agnostic functional-programming exceptions exception-handling monad

3

Différentes façons de voir une monade

Tout en apprenant Haskell, j'ai fait face à de nombreux tutoriels essayant d'expliquer ce que sont les monades et pourquoi les monades sont importantes dans Haskell. Chacun d'eux a utilisé des analogies, il serait donc plus facile de saisir le sens. À la fin de la journée, je me retrouve …

29 functional-programming haskell monad side-effect

2

Les monades sont-elles une alternative viable (peut-être préférable) aux hiérarchies d'héritage?

Je vais utiliser une description indépendante du langage de monades comme celle-ci, décrivant d'abord les monoïdes: Un monoïde est (grosso modo) un ensemble de fonctions qui prennent un certain type en paramètre et renvoient le même type. Une monade est (à peu près) un ensemble de fonctions qui prennent un …

20 object-oriented monad

4

Les avantages du modèle de monade IO pour la gestion des effets secondaires sont-ils purement académiques?

Désolé pour encore une autre question d'effets secondaires FP +, mais je n'ai pas pu trouver une question existante qui répondait tout à fait à moi. Ma compréhension (limitée) de la programmation fonctionnelle est que les effets d'état / secondaires doivent être minimisés et séparés de la logique sans état. …

17 python functional-programming state side-effect monad

2

Qu'est-ce qu'un Comonad et comment sont-ils utiles?

Récemment, j'ai épousseté mes connaissances sur le fonctionnement des Monades. J'ai également été initié au concept de 'Comonad' , qui est décrit comme le dual inverse d'une monade . Cependant, je suis impossible d'envelopper ma tête autour d'elle. Pour comprendre les Monades, je me suis fait l'analogie: Les monades peuvent …

16 functional-programming monad

1

Comment la monade gratuite et les extensions réactives sont-elles corrélées?

Je viens d'un milieu C #, où LINQ a évolué en Rx.NET, mais a toujours eu un certain intérêt pour FP. Après une introduction aux monades et quelques projets parallèles en F #, j'étais prêt à essayer de passer au niveau suivant. Maintenant, après plusieurs discussions sur la monade gratuite …

14 functional-programming monad reactive

4

Quels problèmes de programmation les monades résolvent-elles? [fermé]

Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle se concentre sur un problème uniquement en modifiant ce message . Fermé il y a 3 ans . J'ai lu beaucoup de messages qui …

14 functional-programming problem-solving monad

2

Pourquoi le type Option Scala n'est-il pas appelé Peut-être, tout comme dans Haskell? [fermé]

Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 4 ans . Pourquoi le type Option Scala …

13 language-design haskell scala naming-standards monad

4

Lors de la programmation en style fonctionnel, avez-vous un seul état d'application que vous tissez à travers la logique d'application?

Comment puis-je construire un système qui présente toutes les caractéristiques suivantes : Utilisation de fonctions pures avec des objets immuables. Ne passez dans une fonction que les données dont elle a besoin, pas plus (c'est-à-dire pas de gros objet d'état d'application) Évitez d'avoir trop d'arguments pour les fonctions. Évitez d'avoir …

12 c# functional-programming immutability state monad

1

Futures / Monades vs événements

Dans un cadre d'application où l'impact sur les performances peut être ignoré (10-20 événements par seconde au maximum), quoi de plus maintenable et flexible à utiliser comme moyen de communication préféré entre les modules - Événements ou Futurs / Promesses / Monades ? On dit souvent que les événements (pub …

10 architecture maintainability async event-programming monad

1

Mieux vaut utiliser monade d'erreur avec validation dans vos fonctions monadiques, ou implémenter votre propre monade avec validation directement dans votre bind?

Je me demande ce qui est mieux en termes de conception pour l'utilisabilité / la maintenabilité, et ce qui est mieux en ce qui concerne la communauté. Étant donné le modèle de données: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) …

9 functional-programming haskell validation monad

6

En tant que pratiquant, pourquoi devrais-je me soucier d'Haskell? Qu'est-ce qu'une monade et pourquoi en ai-je besoin? [fermé]

Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 6 ans . Je ne comprends tout simplement …

9 haskell pragmatism monad

Questions marquées «monad»