Já vi pessoas conversando sobre o Free Monad com o Intérprete , particularmente no contexto de acesso a dados. Qual é esse padrão? Quando posso querer usá-lo? Como isso funciona e como eu o implementaria? Entendo (de posts como este ) que se trata de separar o modelo do acesso a dados. Como ele...
A IOmônada em Haskell é frequentemente explicada como uma mônada estadual, onde o estado é o mundo. Portanto, um valor do tipo IO amonad é visto como algo parecido worldState -> (a, worldState). Algum tempo atrás, li um artigo (ou um post na lista de emails / blogs) que criticou essa visão e...
Gostaria de saber quais são as vantagens da Maybe mônada sobre exceções? Parece que Maybeé apenas uma maneira explícita (e bastante demorada) de try..catchsintaxe. atualização Observe que não intencionalmente não mencionei
Enquanto aprendia Haskell, enfrentei muitos tutoriais tentando explicar o que são mônadas e por que as mônadas são importantes em Haskell. Cada um deles usou analogias para que fosse mais fácil entender o significado. No final do dia, acabei com três visões diferentes do que é uma mônada: Vista 1:...
Vou usar uma descrição independente de idioma de mônadas como esta, primeiro descrevendo monóides: Um monóide é (aproximadamente) um conjunto de funções que usam algum tipo como parâmetro e retornam o mesmo tipo. Uma mônada é (aproximadamente) um conjunto de funções que tomam um tipo de...
Desculpe por mais uma pergunta sobre efeitos colaterais do FP +, mas não consegui encontrar uma que já respondesse isso. Meu entendimento (limitado) da programação funcional é que os efeitos de estado / lado devem ser minimizados e mantidos separados da lógica sem estado. Também recolho a...
Recentemente, venho divulgando meu conhecimento sobre como as mônadas funcionam. Também fui apresentado ao conceito de 'Comonad' , descrito como o dual inverso de uma mônada . No entanto, sou impossível envolvê-lo. Para entender as Mônadas, fiz a própria analogia: Mônadas podem ser vistas como...
Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 3 anos . Eu li muitos posts...
Eu venho de um background em C #, onde o LINQ evoluiu para o Rx.NET, mas sempre teve algum interesse no FP. Após algumas introduções às mônadas e alguns projetos paralelos em F #, eu estava pronto para tentar avançar para o próximo nível. Agora, depois de várias palestras sobre a mônada livre de...
Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 4 anos . Por que o tipo...
Como eu construo um sistema que possui todos os seguintes itens : Usando funções puras com objetos imutáveis. Somente passe para os dados de uma função a função necessária, não mais (isto é, nenhum objeto grande de estado do aplicativo) Evite ter muitos argumentos para funções. Evite ter que...
Em uma estrutura de aplicativo em que o impacto no desempenho pode ser ignorado (10 a 20 eventos por segundo no máximo), o que é mais sustentável e flexível para usar como um meio preferido para a comunicação entre módulos - Eventos ou Futuros / Promessas / Mônadas ? Costuma-se dizer que os...
Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 6 anos . Eu simplesmente não...
Na mônada de erro, a primeira falha interrompe ainda mais a execução, apenas levando a falha através das ligações seguintes. Que mônada pára no sucesso apenas levando adiante sucessos e basicamente engolindo falhas e tentando o próximo vínculo, desconsiderando o fracasso do anterior? Talvez a...
Eu estou imaginando o que é melhor em termos de design para usabilidade / manutenção e o que é melhor em relação à comunidade. Dado o modelo de dados: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data...
Eu estava fazendo uma apresentação no F # e discutia o tipo de opção quando alguém na platéia me perguntou se o tipo de opção é a implementação da mônada talvez do F #. Eu sei que não é o caso, mas eu queria perguntar como os dois conceitos estão relacionados. Quero dizer, parece-me que um tipo de...