Resultados da pesquisa a pedido "monads"
Um exemplo simples que mostra que o IO não satisfaz as leis das mônadas?
Eu vi mencionado que
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...
Seção MonadError em “Tudo sobre mônadas”
Agora estou realmente confuso sobre a mónada do erro em que "Tudo sobre mônadas" descreve.Alega a definição de erro monad como
Exemplo concreto mostrando que as mônadas não estão fechadas sob a composição (com prova)?
É bem conhecido que os functores aplicativos são fechados sob a composição, mas as mônadas não são. No entanto, tenho tido dificuldade em encontrar um contra...
combinando StateT com InputT
É um acompanhamento paraessa questão [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Estou tentando combinarshell de @ ErikR'sresponda [https://stackoverflow.com/a/37909749/165753]no meuInputT ciclo. main :: IO ...
Diferença entre as monads preguiçosas e estritas de Haskell (ou transformadores)
Ao navegar pelo Hackage, a maioria das mônadas tem uma versão Preguiçosa e Estrita. Qual é a diferença exatamente? Você pode destacar alguns exemplos das môn...
O que são mônadas livres?
Eu vi o termoMônada Livre Aparecercada agora e então por algum tempo, mas todo mundo parece usá-los / discuti-los sem dar uma explicação do que eles são. Ent...