Questions sur monads

30
réponses

Qu'est ce qu'une monade?

après avoir brièvement regardé Haskell récemment, qu'est-ce que serait une explication brève, succincte, pratique q ... trouvé que la plupart des explications que j'ai trouvées sont assez inaccessibles et manquent de détails pratiques.
demandé sur 2008-09-05 03:26:44
18
réponses

Monade dans la plaine de l'anglais? (Pour la programmation orientée objet programmeur sans FP arrière-plan)

en termes qu'un programmeur OOP pourrait comprendre (sans aucune expérience de programmation fonctionnelle), qu'est ... onads en une application OOP. Ce serait vous faites pour porter les responsabilités des monades à l'application OOP?
demandé sur 2010-04-24 17:42:54
7
réponses

Pourquoi avons-nous besoin de monades?

à mon humble avis, les réponses à la célèbre question " Qu'est-ce qu'une monade?" , en particulier les plus votées, ... t pourquoi les monades sont vraiment nécessaires . Peuvent-ils être expliqués comme la solution à un problème?
demandé sur 2015-01-25 20:27:34
8
réponses

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

est-ce que quelqu'un pourrait donner quelques conseils sur les raisons pour lesquelles les calculs impurs à Haskell so ... te une interface avec 4 opérations, alors quel était le raisonnement pour modéliser les effets secondaires en elle?
demandé sur 2010-03-21 23:47:28
1
réponses

Pourquoi avons-nous map, fmap et liftM?

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => ... -> m a -> m b Pourquoi avons-nous trois fonctions différentes qui font essentiellement la même chose?
demandé sur 2011-09-18 22:32:01
18
réponses

Quel est l'intérêt de l'Option de classe[T]?

Je ne suis pas en mesure de comprendre le point de Option[T] classe dans Scala. Je veux dire, Je ne peux pas voir d'av ... ammeur que cette méthode ne pouvait retourner aucune ? Est-ce la seule raison derrière ce choix de conception?
demandé sur 2010-01-17 01:39:25
4
réponses

Exemple concret montrant que les monades ne sont pas fermées en composition (avec preuve)?

il est bien connu que les fonctions applicatives sont fermées par composition mais pas les monades. Cependant, j'ai e ... nt) fera l'affaire; Je ne suis pas nécessairement à la recherche d'une preuve de l'exemple ci-dessus en particulier.
demandé sur 2012-10-23 19:41:20
3
réponses

Y a-t-il un Monad qui n'a pas de transformateur de monad correspondant (sauf IO)?

jusqu'à présent, chaque monade (qui peut être représenté comme un type de données) que j'ai rencontré avait un corresp ... Concentrons-nous uniquement sur les monades "pures" qui peuvent être construites en utilisant des types de données.)
demandé sur 2014-07-01 21:12:17
8
réponses

L'utilisation de l'odeur de code monade de L'état de Haskell?

Dieu je déteste le terme "odeur de code", mais je ne peux pas penser à quelque chose de plus précis. je suis e ... ssayer d'éliminer/minimiser l'utilisation de l'état monade, ou est-il légitime fonctionnelle "modèle de conception"?
demandé sur 2009-03-03 22:44:31
7
réponses

Monades avec Join () au lieu de Bind()

Les monades sont généralement expliquées à tour de rôle par return et bind . Cependant, je crois comprendre que vous pou ... pas mentionner >>= du tout. Je pense peut-être qui pourrait l'aider à s'enfoncer dans mon stupide cerveau...
demandé sur 2012-06-28 00:50:45
8
réponses

Utilisations créatives des monades

je suis à la recherche d'utilisations créatives de monades pour apprendre. J'ai lu quelque part que les monades ont ét ... veuillez inclure un lien vers le code source et les utilisations de l'échantillon. No monades standard please.
demandé sur 2009-01-05 15:10:13
2
réponses

Eviter la portance avec les transformateurs monad

j'ai un problème auquel une pile de transformateurs monad (ou même un transformateur monad) sur IO . Tout est bon, sauf ... ixte? Ne serait-il pas agréable si GHC jeté dans un peu de sucre syntaxique (par exemple, <-$ = <- lift )?
demandé sur 2012-01-29 20:32:41
1
réponses

Si retour a = Retour b, est-ce que a=b?

Pouvez-vous prouver que si return a = return ba=b? Lorsque j'utilise =, je veux dire dans le sens des lois et des preuves, ... peux pas penser à une monade valide qui ne le ferait pas (Const a est un foncteur et applicative, mais pas une monade.)
demandé sur 2016-01-26 02:24:16
1
réponses

Pourquoi N'y a-t-il pas de transformateur IO à Haskell?

chaque autre monade est livrée avec une version de transformateur, et d'après ce que je sais, l'idée d'un transformateur e ... page pour la ST transformateur mentionne une question possiblement liée dans sa description, mais n'offre aucun détail.)
demandé sur 2012-10-24 23:52:11
2
réponses

Haskell pré-monadique I/O

je me demande comment les e/s ont été faites à Haskell à L'époque où IO monad n'était pas encore inventé. Quelqu'un conna ... puis-je/O en être faite sans l'IO Monade moderne Haskell? Je préférerais un exemple qui fonctionne avec du GHC moderne.
demandé sur 2013-06-08 21:39:02
7
réponses

Pourquoi des monades? Comment résout-il les effets secondaires?

j'apprends Haskell et j'essaie de comprendre les monades. J'ai 2 questions. D'après ce que j'ai compris, Monad n'est qu' ... ment, intuitivement, Haskell s'en sort en changeant l'état avec les entrées et les sorties? Je ne vois pas la magie ici.
demandé sur 2011-10-20 21:59:46
6
réponses

Différence entre Monad et applicatif en Haskell

je viens de lire la suite de typeclassopedia à propos de la différence entre Monad et Applicative. Je peux comprendre qu'i ... sortie de calculs antérieurs pour décider quels calculs à effectuer? la prochaine exécution", qui Applicatifs n'ont pas?
demandé sur 2014-04-28 17:17:35
5
réponses

ST Monad = = odeur de code?

je travaille à la mise en œuvre de l'algorithme UCT dans Haskell, qui nécessite une bonne quantité de jonglage de do ... uire de mes structures STRef à l'intérieur du monad ST à isomorphique mais des structures immuables à l'extérieur.
demandé sur 2011-10-24 23:05:52
3
réponses

L'avenir à Scala est-il une monade?

pourquoi et dans quelle mesure un futur Scala n'est-il pas une monade; et quelqu'un pourrait-il s'il vous plaît le compare ... e, et l'auteur a répondu que ce n'était pas, ce qui a jeté la base. Je suis venu ici pour demander des éclaircissements.
demandé sur 2014-12-13 05:09:20
2
réponses

Définir une nouvelle monade à haskell ne soulève aucune instance D'application

je suis en train de définir une nouvelle monade et j'obtiens une erreur étrange newmonad.hs newtype Wrapped a = Wrap { ... aration In the instance declaration for ‚ÄòMonad Wrapped‚Äô Pourquoi dois-je définir une instance de Applicative?
demandé sur 2015-07-27 14:57:11
5
réponses

Comment identifiez-vous les motifs monadiques?

I my way to learn Haskell je commence à saisir le concept monad et à commencer à utiliser les monades connues dans mon ... onadique de conception? Quelle est votre approche quand vous réalisez qu'un code serait mieux refactorisé en monade?
demandé sur 2012-01-08 15:46:46
2
réponses

Comment puis-je me connecter à Haskell?

j'essaie d'utiliser HSlogger pour obtenir des informations sur mon programme. J'ajoute donc la ligne suivante à ma foncti ... de transformateur pour que je puisse empiler L'Analyseur monad et L'IO monad ensemble? Comment dois-je faire à ce sujet?
demandé sur 2011-06-10 23:05:12
3
réponses

Utiliser le Monad peut-être dans "reverse""

disons que j'ai un certain nombre de fonctions: f :: a -> Maybe a g :: a -> Maybe a h :: a -> Maybe a et je ve ... quement vous arrêtez de calculer si rien n'est retourné. Quel est l'idiome de Haskell? enchaîner des calculs comme ça?
demandé sur 2011-04-09 20:26:07
6
réponses

Option non-optionnelle Option non-optionnelle

Dire que j'ai un val s: Option[Option[String]]. Il peut donc avoir les valeurs suivantes: Some(Some("foo")) Some(None) No ... t None. De toute évidence, il y a plusieurs façons d'y arriver, mais je cherche une doublure simple, peut-être intégrée.
demandé sur 2011-05-11 21:42:13
7
réponses

Pourquoi L'utilisation de peut-être/Option n'est-elle pas si répandue dans Clojure?

pourquoi Clojure, malgré une telle insistance sur le paradigme fonctionnel, n'utilise-t-il pas le Maybe/Option monad pour ... utilisation de Option est très répandu dans Scala, un langage de programmation fonctionnel que j'utilise régulièrement.
demandé sur 2011-04-30 09:08:19
4
réponses

Équivalent Monad en Ruby

Qu'est-ce qu'une construction équivalente d'une monade serait dans Ruby?
demandé sur 2010-04-25 22:25:01
3
réponses

Ce qui vous arrive si vous vous cassez la monade lois?

est-ce que le compilateur ou les parties plus "natives" des bibliothèques (IO ou fonctions qui ont accès à la magie noire ... nnuierez en les brisant sont les gens qui utilisent votre code et ne s'attendaient pas à ce que vous soyez si négligent?
demandé sur 2011-06-19 03:57:01
3
réponses

Quelles sont les définitions de>= et de retour pour la monade D'IO?

après avoir vu comment la liste et peut-être les monades sont définis, je suis naturellement devenu curieux de savoir comment les opérations >>= et return sont définis pour la monade IO.
demandé sur 2012-02-12 02:23:33
3
réponses

Qu'est-ce qui fait exactement une Option monade dans Scala?

je sais ce que les monades sont et comment les utiliser. Ce que je ne comprends pas c'est fait, disons,Option une monade? ... rien de lié à une monade. Si je crée mon propre classe Scala, ce sera une sorte de monade par défaut? Pourquoi pas?
demandé sur 2014-08-18 14:30:10
6
réponses

Utiliser return vs. NE PAS utiliser return dans la liste monad

j'ai commencé ma grande croisade D'Haskell (GHC:) et je suis un peu confus avec les monades et les fonctions D'IO. Quelqu ... , right? f2 = do x <- [1,2] return [x, x+1] résultat: *Main> f1 [1,2,2,3] *Main> f2 [[1,2],[2,3]]
demandé sur 2012-07-04 10:07:48