Estou aprendendo programação funcional e tenho problemas para entender como alguns cenários específicos são implementados sem o uso de atribuição. O seguinte problema simples resume bastante minha confusão. Escreva um programa que receba eventos sobre alterações em uma determinada estrutura de...
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...
A maior parte da sintaxe Haskell tem beleza de pureza. Mas a sintaxe do registro parece feia. É desconfortável. Parece algum tipo de mistura com C. Requer vírgula e aparelho. Haskell possui separador, separação baseada em linha. Portanto, parece muito detalhado do que originalmente exigia. Por que...
É difícil dizer o que está sendo pedido aqui. Essa pergunta é ambígua, vaga, incompleta, excessivamente ampla ou retórica e não pode ser razoavelmente respondida em sua forma atual. Para obter ajuda para esclarecer esta questão para que possa ser reaberta, visite o centro de ajuda...
Um dos princípios da programação funcional é o uso de funções puras. Uma função Pure é aquela que é livre de efeitos colaterais e é referencialmente transparente. Os Getters não são referencialmente transparentes - se um Setter é chamado entre as chamadas para o Getter, o valor de retorno do...
Eu estava querendo experimentar gráficos em Haskell. Pelo que vi, as bibliotecas disponíveis são front-ends para bibliotecas C / C ++ ou uma abstração delas com recursos mínimos. As bibliotecas de alto nível parecem não atender às minhas necessidades e, portanto, fico com front-ends de nível...
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 . Sou...
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 entendi que muito antes de Haskell, O'Caml ou LISP, funções de ordem superior eram um assunto de pesquisa acadêmica e, em matemática, Schönfinkel (em 1967) e Haskell Curry (em 1968) já aplicavam técnicas como curry, mas isso foi antes de estar disponível em qualquer linguagem de programação. O...
Já me disseram em perguntas anteriores que as linguagens de programação funcional não são adequadas para sistemas dinâmicos, como um mecanismo de física, principalmente porque é caro modificar objetos. Quão realista é essa afirmação e por
O padrão arquitetural de tubulação e filtro é definido como uma cadeia de elementos de processamento, organizados de forma que a saída de cada elemento seja a entrada do próximo . Todo exemplo parece considerar a conexão entre processos ou entre threads executada por meio de algum tipo de buffer...
Quero implementar um armazenamento de dados na memória para um serviço da Web em Haskell. Eu quero executar transações na STMmônada. Quando eu coloco no Google o haskell da tabela de hash, recebo apenas isso: Data. BTree. HashTable. STM.O nome e as complexidades do módulo sugerem que isso é...
Recentemente, fiquei profundamente interessado em Haskell. Enquanto tentava aprender novos conceitos (por exemplo, a palavra - chave forall e a mônada ST ) e o sistema de tipos de Haskell em geral, eu sempre me deparo com conceitos da teoria das categorias e do cálculo lambda . Então, eu me...
Eu li que o Go realmente não tem inferência de tipo verdadeira, no sentido de que linguagens funcionais como ML ou Haskell têm, mas não consegui encontrar uma comparação simples de entender das duas versões. Alguém poderia explicar em termos básicos como a inferência de tipo no Go difere da...
Em linguagens ansiosas como Scheme e Python, você pode usar uma expressão lambda sem parâmetros para atrasar a avaliação, por exemplo, em Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) #;3> (t) 2 Na linha 2, té vinculado à...
Parece que qualquer instância vinculada deve ter uma implementação sã do Enum. Pessoalmente, não consigo pensar em um contra-exemplo, embora, se alguém criar um que não seja patológico, entenderei por que não é esse o caso. Ao executar :inas duas classes de tipos, parece que a única exceção...
No Haskell, posso usar o tipo a -> Maybe bpara modelar uma função que retorna um valor do tipo bou não retorna nada (falha). Se eu tiver tipos a1, ..., a(n+1)e funções f1, ..., fn, com fi :: ai -> Maybe a(i+1)para todos i, 1 <= i <= nposso encadear as funções usando o >>=operador...
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á 4 anos . Artigo original de...
Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha...