Resultados da pesquisa a pedido "monads"
Como você salva uma estrutura de dados em árvore no arquivo binário no Haskell
Estou tentando salvar uma estrutura de árvore simples (mas bastante grande) em um arquivo binário usando Haskell. A estrutura é mais ou menos assim: -- For simplicity assume each Node has only 4 childs data Tree = Node [Tree] | Leaf [Int] E aqui ...
Mônada de continuação para uma função de rendimento / espera em Haskell
Eu quero criar um tipo de autômatos com um tipo como este: newtype Auto i o = Auto {runAuto :: i -> (o, Auto i o)}Eu sei que esse é o tipo deSeta de ...
Por que o `join` não faz parte da classe` Monad` [duplicado]
Esta pergunta já tem uma resposta aqui: Por que a junção é autônoma, em vez de parte da implementação mínima da classe de classe Monad? [/questions/51597106/why-is-join-standalone-instead-of-part-of-the-minimal-implementation-of-the-mon] 3 ...
Definir uma nova mônada em haskell não gera instância para o aplicativo
Estou tentando definir uma nova mônada e estou recebendo um erro estranho newmonad.hs newtype Wrapped a = Wrap {unwrap :: a} instance Monad Wrapped where (>>=) (Wrap x) f = f x return x = Wrap x main = do putStrLn "yay" $ ghc --version ...
Implementando o Haskell-MaybeMonad em F # - como podemos ficar tão preguiçosos?
estamos tentando construir a amostra Haskell-MaybeMonad de http://www.haskell.org/all_about_monads/html/maybemonad.html [http://www.haskell.org/all_about_monads/html/maybemonad.html]em F #. A idéia é procurar um endereço de email em dois ...
Como retornar um valor puro de um método impuro
Eu sei que deve parecer trivial, mas eu queria saber como você pode desembrulhar um valor de um functor e devolvê-lo como valor puro? Eu tentei: f::IO a->a f x=(x>>=) f= >>=O que devo colocar no lado direito? Não posso usarreturn uma vez que o ...
Gerador de números aleatórios funcionais puros - Mônada estadual
O livro 'Programação Funcional em Scala'demonstra um exemplo de gerador de números aleatórios funcionais puros, como abaixo trait RNG { def nextInt: (Int, RNG) } object RNG { def simple(seed: Long): RNG = new RNG { def nextInt = { val seed2 = ...
Relação de mônada livre e AST
Refiro-me ao código fonte do Ken Scambler listado abaixo, veja tambémFonte GitHub [https://github.com/kenbot/free/blob/master/src/main/scala/kenbot/free/KVS.scala] . package kenbot.free import scalaz._ import Scalaz._ import Free._ ...
Exemplo de transformador de mônada não trivial mais simples para "manequins", IO + Talvez
Alguém poderia dar um exemplo super simples (poucas linhas) de transformador de mônada, que não é trivial (ou seja, não usa a mônada de identidade - que eu entendo). Por exemplo, como alguém criaria uma mônada que faça IO e possa lidar com ...
Mônada em termos não programáveis [duplicado]
Possível duplicado: O que é uma mônada? [https://stackoverflow.com/questions/44965/what-is-a-monad] Como você descreveria uma mônada em termos que não são de programação? Existe algum conceito / coisa fora da programação (fora de toda a ...