Resultados da pesquisa a pedido "monads"
Como posso usar o parMap com uma função monádica?
Eu tenho uma função monádica getRate: getRate :: String -> IO DoubleEu gostaria de mapear essa função sobre uma lista de String. Normalmente, eu faria apenas: mapM getRate ["foo", "bar"]mas como cada chamada para getRate faz chamadas de rede, ...
Obter valor do IO em vez da própria computação
Sendo bastante novo em Haskell, atualmente estou tentando melhorar minhas habilidades escrevendo um intérprete para uma linguagem imperativa simples de brinquedo. Uma das expressões neste idioma éinput, que lê um único número inteiro da entrada ...
A instância aplicável para MaybeT m assume Monad m
Eu tenho usado oHaxl mônada (descrita aqui: http://www.reddit.com/r/haskell/comments/1le4y5/the_haxl_project_at_facebook_slides_from_my_talk [http://www.reddit.com/r/haskell/comments/1le4y5/the_haxl_project_at_facebook_slides_from_my_talk] ), que ...
Por que MonadPlus e não Monad + Monoid?
Estou tentando entender a motivação por trás doMonadPlus. Por que é necessário se já existem as classes de tipoMonad eMonoid? Concedido, instâncias deMonoid são tipos concretos, enquanto instâncias deMonad requer um parâmetro de tipo único. ...
Por que "bind" está escrito como >> = em Haskell Monads?
Quais são as origens da sintaxe ">> =" e ">>" nas mônadas de Haskell? Não estou procurando uma explicação de como as Mônadas funcionam, mas porque os designers de linguagem escolheram essa sintaxe. Para mim, ">> =" e ">>" parecem meio arbitrários ...
Por que Haskell não possui uma Mônada I (apenas para entrada, ao contrário da Mônada IO)?
Conceitualmente, parece que um cálculo que executa saída é muito diferente daquele que executa apenas entrada. O último é, em certo sentido, muito mais puro. Eu, por exemplo, gostaria de ter uma maneira de separar apenas as partes do ...
What is a monad?
Tendo examinado brevemente Haskell recentemente, o que seria umbreve, sucinto, prático explicação sobre o que é essencialmente uma mônada? Descobri que a maioria das explicações que encontrei é inacessível e carece de detalhes práticos.
Faça a declaração sob uma cláusula where
Estou tentando converterIO [String] para[String] com<- obrigatório; no entanto, preciso usar umdo bloco para fazer isso sob umwhere declaração, mas Haskell reclama do recuo o tempo todo. Aqui está o código: decompEventBlocks :: IO [String] -> IO ...
Como você para de construir uma Opção [Coleção] ao alcançar a primeira Nenhuma?
Ao criar uma coleção dentro de umOption, cada tentativa de tornar o próximo membro da coleção pode falhar, tornando a coleção como um todo uma falha também. Após a primeira falha em fazer um membro, eu gostaria de desistir imediatamente e ...
Existe uma mônada que não possui um transformador de mônada correspondente (exceto IO)?
Até agora, todas as mônadas (que podem ser representadas como um tipo de dados) que encontrei tinham um transformador de mônada correspondente ou poderiam ter um. Existe uma mônada que não pode ter uma? Outodas as mônadas têm um transformador ...