Perguntas com a marcação «haskell»

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 …

9 functional-programming  haskell  validation  monad 

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 principalmente um desenvolvedor .NET, então normalmente uso o …

9 scala  haskell  clojure  scheme  operating-systems 

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 inferior. O que eu …

9 libraries  gui  haskell 

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 …

9 functional-programming  haskell  scala 

É 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 . Fechado há 7 …

9 haskell 

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 é projetado dessa …

9 syntax  haskell 

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 entendo o problema que eles resolvem.

9 haskell  pragmatism  monad 

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 …

9 functional-programming  haskell  patterns-and-practices 

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 à expressão não …

9 python  haskell  scheme  lambda  lambda-calculus 

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 mônada de erro possa ser …

9 haskell  monad 

Sabemos que no Prolog - predicados não determinísticos são um recurso usado para diminuir problemas combinatórios . Em Haskell, vemos um comportamento não determinístico semelhante ao Prolog na lista Mônada . Em Haskell, também vemos o não determinismo na escolha da ordem de avaliação thunk : Mas não há nada …

8 haskell  non-determinism 

Gostaria de saber se existe uma diferença entre as classes de tipo de Haskell e as interfaces de Go. Ambos definem tipos com base em funções, dessa maneira, que um valor corresponde a um tipo, se uma função requerida pelo tipo for definida para o valor. Existem diferenças ou são …

8 haskell  type-systems  polymorphism  go 

Nas faculdades e nos livros didáticos de algoritmos, é bastante comum que o professor e o autor expliquem o fluxo de controle no pseudo-código. Com o advento de linguagens mais expressivas, como Python e Haskell, entre outras, é razoável que as faculdades mudem para explicar algoritmos através de uma dessas …

8 algorithms  python  haskell  pseudocode  teaching 

Recentemente, fui designado para trabalhar em um pequeno projeto que está sendo implementado em Haskell. Vindo de um background imperativo / imperativo, estou acostumado a converter requisitos / histórias de usuários em casos de uso e diagrama de sequência antes da codificação. No entanto, no projeto Haskell ao qual fui …

8 functional-programming  requirements  haskell  logic  formal-methods 

Depois de desenvolver vários aplicativos Haskell, me vi segregando rigorosamente código impuro e funções disponíveis ( parciais ) de seus equivalentes puros e totais . Esses esforços reduziram notavelmente o custo de manutenção associado aos aplicativos. Ao longo do tempo, me vi confiando na mesma mainestrutura de alto nível para …

8 design-patterns  haskell  control-structures