Resultados da pesquisa a pedido "monads"
Como a mônada ST funciona?
Eu entendo que a Mônada ST é algo como um irmãozinho de IO, que por sua vez é a mônada do estado com
Como você para de construir uma Opção [Coleção] ao alcançar a primeira Nenhuma?
Ao criar uma coleção dentro de umOption, cada tentativa de tornar o próximo membro da coleção pode falhar, tornando a coleção como um todo uma falha também. Após a primeira falha em fazer um membro, eu gostaria de desistir imediatamente e ...
Por que Haskell não possui uma Mônada I (apenas para entrada, ao contrário da Mônada IO)?
Conceitualmente, parece que um cálculo que executa saída é muito diferente daquele que executa apenas entrada. O último é, em certo sentido, muito mais puro. Eu, por exemplo, gostaria de ter uma maneira de separar apenas as partes do ...
Uso do estado de Haskell em uma mônad
Deus odeio o termo "cheiro de código", mas não consigo pensar em nada mais precis Estou projetando uma linguagem de alto nível e compilador para Espaço em branco [http://compsoc.dur.ac.uk/whitespace/]o meu tempo livre para aprender sobre ...
Usando mônadas para tarefas triviais como manipulação de lista?
Sempre que leio sobre o exemplo de Monad, eles sempre apresentam IO como um estudo de caso.Existem exemplos de mônadas fazendo manipulação de listas que algu...
Como interpretar bind / >> = da instância da função?
Estou tentando melhorar minha compreensão deApplicativeareiaMonads implementando suas instâncias de função em Javascript. Meu conhecimento de Haskell é limitado e espero que minha pergunta faça algum sentido. Aqui estão minhas implementações ...
Em que circunstâncias as computações monádicas são recursivas à cauda?
Em Wiki de HaskellRecursão em uma mônada existe um exemplo que é reivindicado sercauda recursiva:
Faça a declaração sob uma cláusula where
Estou tentando converterIO [String] para[String] com<- obrigatório; no entanto, preciso usar umdo bloco para fazer isso sob umwhere declaração, mas Haskell reclama do recuo o tempo todo. Aqui está o código: decompEventBlocks :: IO [String] -> IO ...
Por que o `join` não faz parte da classe` Monad` [duplicado]
Esta pergunta já tem uma resposta aqui: Por que a junção é autônoma, em vez de parte da implementação mínima da classe de classe Monad? [/questions/51597106/why-is-join-standalone-instead-of-part-of-the-minimal-implementation-of-the-mon] 3 ...