Resultados da pesquisa a pedido "monads"

1 a resposta

Opções e para as compreensões

2 a resposta

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

5 a resposta

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 ...

5 a resposta

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 ...

8 a resposta

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 ...

6 a resposta

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...

2 a resposta

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 ...

2 a resposta

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:

4 a resposta

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 ...

1 a resposta

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 ...