Resultados da pesquisa a pedido "monads"
Por que a função de ligação do haskell leva uma função de não-monádica para monádica
Eu tenho algumas perguntas sobre a definição da função de ligação(>>=) em Haskell. Como o Haskell é uma linguagem pura, podemos usar o Monad para lidar com operações com efeitos colaterais. Eu acho que essa estratégia é como colocar todas as ...
Buscando críticas construtivas sobre a implementação de mônadas
Estou aprendendo mônadas, este é o meu primeiro trabalho (além da mônada trivial). Sinta-se livre para criticar tudo nele sem piedade. Estou especialmente interessado em respostas "mais idiomáticas" e "mais elegantes". Essa mônada conta o número ...
Como deve ser uma classe "classe superior Traversable"?
Noesta resposta [https://stackoverflow.com/a/44186072/7951906]Eu inventei no local algo que se parece um pouco com uma "ordem superiorTraversable": gostarTraversable mas para functores da categoria de endofunitores em Hask a Hask. {-# LANGUAGE ...
Não existe uma instância de mônada padrão (a)?
Fiquei com a impressão de que havia um exemplo para qualquer lugar, mas não consigo encontrá-lo. Eu tentei importar Control.Monad, Control.Monad.Instances e Data.E como mostrado module Main where import Control.Monad import Data.Either ...
Tipo de retorno no bloco
Estou tentando entender as mônadas em Haskell e, durante minhas inúmeras experiências com código, encontrei esta coisa: f2 = do return "da"e o fato de não querer compilar com um erro enorme em relação ao tipo. Eu acho que a única parte ...
Por que agrupar a mônada Data.Binary.Put cria um vazamento de memória? (Parte 2)
Como no meupergunta anterior [https://stackoverflow.com/questions/4828902/why-wrapping-the-data-binary-put-monad-creates-a-memory-leak] , Estou tentando agrupar a mônada Data.Binary.Put em outra mônada para que mais tarde eu possa fazer perguntas ...
Por que a classe Functor não possui função de retorno?
Do ponto de vista categórico, functor é par de dois mapas (um entre objetos e outro entre setas de categorias), seguindo alguns axiomas. Eu presumi que o que toda instância do Functor é semelhante à definição matemática, ou seja, pode mapear ...
Por que as duas mônadas de Clojure `let 'e` for`?
Nesta discussão [https://groups.google.com/forum/#!msg/clojure/DJGHPQc5qaI/Sn7qtA5Uz04J] Brian Marick [https://twitter.com/marick]afirma ...
Por que o `mfix` não é total no` MaybeT`
oimplementação de transformadores [https://hackage.haskell.org/package/transformers-0.5.5.0/docs/src/Control.Monad.Trans.Maybe.html#line-186] doMonadFix paraMaybeT falhará se a função for avaliada comoNothing. Porque éNothing não se ...
O que é um exemplo explícito de uma mônada sem um transformador de mônada? [duplicado]
Esta pergunta já tem uma resposta aqui: Existe uma mônada que não possui um transformador de mônada correspondente (exceto IO)? [/questions/24515876/is-there-a-monad-that-doesnt-have-a-corresponding-monad-transformer-except-io] 4 respostasOs ...