Resultados da pesquisa a pedido "monads"
Monads in C # - por que as implementações do Bind exigem que a função passada retorne uma mônad
A maioria dos exemplos de mônadas que eu vi em C # são escritos assim: public static Identity<B> Bind<A, B>(this Identity<A> a, Func<A, Identity<B>> func) { return func(a.Value); } Por exemplo, ...
Usando o Maybe Monad em “reverso”
Digamos que eu tenha várias funções: f :: a -> Maybe a g :: a -> Maybe a h :: a -> Maybe aE eu quero compor da seguinte maneira: Se f retornar Nothing, calcule g. Se g retornar Nada, calcule h. Se algum deles calcular Apenas a, pare a corrente. ...
Equivalente a Scala da notação de Haskell (mais uma vez)
Eu sei que o de Haskell
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 ...
Dados de configuração no Scala - devo usar a mônada do Reader?
Como faço para criar um objeto configurável corretamente funcional no Scala? Eu assisti o vídeo de Tony Morris no
O que há de tão especial sobre a palavra-chave "return"
Quando eu parecia entender o que é o retorno em Haskell, tentei brincar com alternativas diferentes e parece que o retorno não só pode ser usado em qualquer ...
Como escrever uma mônada que imprime “passo i de N” ao executar cada afirmação na mônada?
Eu nem tenho certeza se isso é possível em qualquer tipo de mônada; isso viola leis de mônadas? Mas parece algo que deveria ser possível em algum tipo de con...
Uma mônada é apenas um monóide na categoria de endofunitores, qual é o problema?
Quem primeiro disse o seguinte? Uma mônada é apenas um monóide na categoria de endofunitores, qual é o problema? E, em uma nota menos importante, isso é verdade e, em caso afirmativo, você poderia dar uma explicação (espero que possa ser ...