Questions marquées «monads»

Une monade en programmation est une description de calcul composable. Les monades sont une construction importante dans les langages de programmation fonctionnels comme Haskell.

5
Qu'est-ce que la monade indexée?
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 …
98 haskell  monads 
3
Comment jouer avec Control.Monad.Writer dans haskell?
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 number: " ++ …
97 haskell  monads 
3
mtl, transformers, monads-fd, monadLib et le paradoxe du choix
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 types monadLib : une collection de transformateurs monad . mtl-tf : bibliothèque de …
5
Confondu avec la transformation for-comprehension to flatMap / Map
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 bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = for { f <- mkMatcher(pat) g <- mkMatcher(pat2) …
2
États imbriqués à Haskell
J'essaie de définir une famille de machines à états avec des types d'états quelque peu différents. En particulier, les machines à états les plus "complexes" ont des états qui sont formés en combinant les états des machines à états plus simples. (Ceci est similaire à un paramètre orienté objet où …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.