Resultados da pesquisa a pedido "monads"
Uma coleção com flatMap é uma mônada?
Scala tem a característicaIterable[A] que define def flatMap[B](f: (A) ⇒ GenTraversableOnce[B]): Iterable[B]Isso certamenteparece como a função de ligação em uma mônada, e a documentação sugere que ela é uma mônada, mas há duas objeções, uma ...
Acesso simultâneo a dados como em Haxl e Stitch
Este é um acompanhamento do meu anteriorPergunta, questão [https://stackoverflow.com/questions/27591599/are-futures-in-scala-really-functional] . Como eu entendo ...
(Como) posso fazer esta ligação monádica recursiva da cauda?
Eu tenho essa mônada chamada Desync - [<AutoOpen>] module DesyncModule = /// The Desync monad. Allows the user to define in a sequential style an operation that spans /// across a bounded number of events. Span is bounded because I've yet to ...
Por que precisamos de mônadas?
Na minha humilde opinião, as respostas à famosa pergunta"O que é uma mônada?" [https://stackoverflow.com/questions/44965/what-is-a-monad], especialmente os mais votados, tente explicar o que é uma mônada sem explicar claramentepor que as mônadas ...
Como usar o bind com mônadas aninhadas?
Eu tenho duas funções, uma que tenta obter um token de um serviço da web e pode falhar e outra que tenta usar esse token para obter o nome de usuário e pode falhar. getToken :: IO (Maybe Token) getUsername :: Token -> IO (Maybe ...
O que é a mônada indexada?
O que émônada indexada [https://hackage.haskell.org/package/indexed-0.1/docs/Control-Monad-Indexed.html] e a motivação para essa mônada? Eu li que isso ajuda a acompanhar os efeitos colaterais. Mas a assinatura e a documentação do tipo não me ...
Devo implementar o Applicative e o Functor para implementar uma Mônada
Estou tentando implementar uma instância do Monad. Como um exemplo mais simples, assuma o seguinte: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>= f = Notheeng Juust x >>= f = f x fail _ = ...
Problema de mônada STM
Este é apenas um cenário hipotético para ilustrar minha pergunta. Suponha que haja dois threads e um TVar compartilhados entre eles. Em um segmento, há um bloco atômico que lê o TVar e leva 10s para ser concluído. Em outro segmento, há um bloco ...
Cláusula Haskell do com vários tipos de mônadas
Estou usando uma biblioteca gráfica em Haskell chamadaThreepenny-GUI [http://hackage.haskell.org/package/threepenny-gui]. Nesta biblioteca, a função principal retorna ...
Haskell é verdadeiramente puro (existe algum idioma que lide com entrada e saída fora do sistema)?
Depois de tocar nas Mônadas no que diz respeito à programação funcional, o recurso realmente torna uma linguagem pura ou é apenas mais um "cartão de saída da cadeia" para raciocinar sobre sistemas de computadores no mundo real, fora da matemática ...