monads

10La chaleur

2Répondre

Utilisation pour la monade d'identité dans Clojure

J'ai lu un excellent introduction to monads for Clojure programmers. L'article montre que la monade Identité est fonctionnellement équivalente aux de Clojure et et que la monade Séquence/Liste est équ

5La chaleur

2Répondre

Implémentation du Haskell-MaybeMonad en F # - comment pouvons-nous obtenir ce paresseux?

Nous essayons de construire l'exemple Haskell-MaybeMonad de http://www.haskell.org/all_about_monads/html/maybemonad.html en F #. L'idée est de rechercher une adresse mail dans deux dictionnaires. Si l

3La chaleur

1Répondre

Utiliser le numéro comme Monoid

Je dois utiliser un nombre (un Rational) comme type de journal d'une Moniteur Writer. Malheureusement, le nombre ne sont pas Monoid. Y a-t-il un module (ou quelque chose) qui instancie des nombres com

13La chaleur

3Répondre

Pourquoi mon code utilise-t-il si lentement les listes monadiques du paquet List?

La semaine dernière, l'utilisateur Masse a demandé un question about recursively listing files dans un répertoire Haskell. Ma première pensée a été d'essayer d'utiliser les listes monadiques du List p

6La chaleur

5Répondre

Haskell: Comment simplifier ou éliminer liftM2?

Consultez le code suivant je l'ai écrit: import Control.Monad increasing :: Integer -> [Integer] increasing n | n == 1 = [1..9] | otherwise = do let ps = increasing (n - 1) let l

26La chaleur

2Répondre

conjugueront avec des actions IO

Supposons que j'ai une monade de l'Etat tels que: data Registers = Reg {...} data ST = ST {registers :: Registers, memory :: Array Int Int} newtype Op a = Op {runOp :: ST -> (ST, a)} ins

8La chaleur

1Répondre

Monad avec Scalaz

je tente de définir le lecteur monade avec scalaz comme ceci: import scalaz._ import Scalaz._ final class Reader[E,A](private[Reader] val runReader: E => A) object Reader { def apply[E,A](f:

63La chaleur

4Répondre

Comment et pourquoi fonctionne la monade Haskell Cont?

Voici comment est défini le Cont monade: newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Monad (Cont r) where return a = Cont ($ a) m >>= k = Cont $ \c -> runCont m $ \a -> r

6La chaleur

4Répondre

Convertir une notation « faire » avec plus de deux actions pour utiliser la fonction de liaison

Je sais que ce qui suit la fonction « do » « bind » de notation est équivalente à getLine >>= \line -> putStrLn do line <- getLine putStrLn line Mais comment est l'équivalent de notation suivan

10La chaleur

2Répondre

Conseils pour un code plus élégant avec des monades?

J'ai enfin réussi à utiliser les monades (je ne sais pas si je les comprends ...), mais mon code n'est jamais très élégant. Je suppose est d'un manque d'emprise sur la façon dont toutes ces fonctions