Resultados da pesquisa a pedido "monads"
Delimitando a mônada IO
É bom saber (no Safe Haskell, pelo menos) da assinatura se algo executa ou não ações de IO, mas IO engloba muitas coisas diferentes -
Como o não-determinismo pode ser modelado com uma lista monad?
Alguém pode explicar (melhor com um exemplo em inglês claro) o que uma lista monad pode fazer para modelar cálculos não determinísticos? Ou seja, qual é o pr...
Em que sentido a IO Monad é pura?
Eu tive a mônada de IO descrita para mim como uma mônada do Estado, onde o estado é "o mundo real". Os proponentes dessa abordagem ao IO argumentam que isso torna as operações de IO puras, como referencialmente em transparência. Por que é que? Na ...
runST com sistema do tipo Hindley-Milner
Se eu entendi a mônada ST em Haskell corretamente,runST usa tipos de classificação 2 de maneira inteligente para garantir que um cálculo não faça referência a nenhum outro encadeamento ao escapar da mônada. Eu tenho uma linguagem de brinquedo ...
Por que um IO aninhado em outras mônadas não é executado? Existe uma maneira de forçá-los a fazê-lo?
Este é um acompanhamento da minha última pergunta.Ação de E / S aninhada em outras mônadas que não executam [https://stackoverflow.com/questions/42382396/io-action-nested-in-other-monads-not-executing] A solução para essa pergunta foi remover ...
Convertendo IO Int em Int
Eu criei uma caixa de combinação convertendo umxmlWidget para umcomboBox com a funçãocastTocomboBox e agora quero obter o texto ou o índice do item ativo. O problema é que, se eu usar ocomboBoxGetActive função que retorna umIO Int resultado e eu ...
A lei de unidade esquerda de Mônada parece não valer para Listas em escala. As listas scala não são mônadas?
"Direito da unidade esquerda" das mônadas: unit(x) flatMap f == f(x)Mas: (List(1) flatMap ((x: Int) => Some[Int](x))) == List(1) // true ((x: Int) => Some[Int](x))(1) == Some(1) // also truePortanto, a lei da unidade esquerda não se aplica a ...
Como pipes e mônadas funcionam juntos em JavaScript?
Examinei perguntas e respostas semelhantes e não encontrei uma resposta que abordasse diretamente minha pergunta. Estou lutando para entender como usarMaybe ouEitherouMonads em conjunto com as funções de tubulação. Quero canalizar funções juntas, ...
Por que as Mônadas Promessas?
Eu tenho aprendido sobre programação funcional e me deparei com Mônadas, Functors e Applicatives. Pelo meu entendimento, as seguintes definições se aplicam: a) (A => B) => C [A] => C [B] | Functor b) (A => C [B]) => C [A] => C [B] | Mônada c) ...