Resultados da pesquisa a pedido "monads"
O que exatamente significa "eficaz"
Uma e outra vez eu li o termoeficaz, mas ainda não consigo definir claramente o que isso significa. Presumo que o contexto correto seja eficazcálculos, mas também vi o termo ...
Usando diferentes mônadas na compreensão
Mônadas diferentes podem ser usadas para compreensão? Aqui está o código que usamap case class Post(id: Int, text: String) object PostOps { def find(id: Int) : Option[Post] = if (id == 1) Some(Post(1, "text")) else None def permitted(post: Post, ...
Operando em um retorno de um Talvez que contenha "Apenas"
Eu tenho uma função que tem um tipo de retorno deMaybe ([(Int,Int)],(Int,Int)) Eu gostaria de chamar isso de outra função e executar uma operação nos dados. No entanto, o valor de retorno está contido emJust. O segundo ...
Função de junção de mônada
Embora as mônadas sejam representadas em Haskell usando as funções bind e return, elas também podem ter outra representação usando a função join, como discutido aqui [http://en.wikibooks.org/wiki/Haskell/Category_theory#Monads]. Eu sei que o tipo ...
Misture e combine computações com estado na mônada do estado
O estado do meu programa consiste em três valores,a, bec, dos tiposA, BeC. Diferentes funções precisam acessar valores diferentes. Quero escrever funções usando oState mônada para que cada função possa acessar apenas as partes do estado que ...
Explicação das leis da Mônada
Deuma introdução suave a Haskell [https://www.haskell.org/tutorial/monads.html], existem as seguintes leis de mônada. Alguém pode explicar intuitivamente o que eles significam? return a >>= k = k a m >>= return = m xs >>= return . f = fmap f xs ...
ajuda com o leitor mônada
Eu sou novo na haskell, tenho que escrever um programa que reconhece o contexto, então pensei em usar o Reader Monad para manter o contexto lido em um arquivo. Sei como ler o arquivo, colocando o conteúdo em uma lista de itens como [([Char], ...
Por que o flatMap é um vetor [Option [Int]] cujo resultado da função do mapeador não é um vetor [Option [Int]] válido?
Por exemplo, Vector(Some(1), Some(2), Some(3), None).flatMap{ n => n }produz umVector(1, 2, 3) em vez de dar um erro. Como já vi em outros idiomas,flatMap é usado quando você tem uma função de mapeador que produz aninhamento, então eu esperaria ...
Aplicável é monade o que X é comonad
Podemos resolver esta equação para X? Aplicável é monade o que X é comonad
Mônada mais poderosa que Aplicativa?
Eu olheidiscussão anterior [https://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell] mas não conseguia entender por que algumas das respostas estão realmente corretas. Aplicável <*> :: f (a -> b) -> f a ...