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 )...
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 diffusion) qui...
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
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 avec 3...
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...
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...
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...
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 expliquent...
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 de...
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 n'est-il pas...
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...
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...
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 pas quel problème...
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) data Container = Container Name...