Resultados da pesquisa a pedido "haskell"
Padrão não exaustivo na função noThirds
Então, meu problema é que tenho que escrever um programa que filtre todos os elementos 3 * x (3,6,9 ...) de uma lista. Meu programa se parece com: length' :: [a] -> Int length' = foldr (\_ -> (+1)) 0 help_ :: [a] -> [a] -> [a] help_ (x:xs) [] = ...
Haskell evita estruturas de dados probabilísticas?
Se você procurar listas de pulos implementadas no Haskell, não encontrará muitas. É uma estrutura de dados probabilística que precisa de um gerador de números aleatórios, o que significa que qualquer uma dessas estruturas precisaria ser executada ...
Solução SAT com a biblioteca haskell SBV: como gerar um predicado a partir de uma string analisada?
Eu quero analisar umString que descreve uma fórmula proposicional e, em seguida, encontre todos os modelos da fórmula proposicional com um solucionador SAT. Agora eu posso analisar uma fórmula proposicional com ...
Haskell -> F #: Peneira de Turner
Eu estava lendo sobre diferentes algoritmos de peneiração quando me deparei com uma espécie de versão melhorada da Peneira de Eratóstenes, chamada Peneira de Euler. De acordo ...
Funitores monoidais relaxados com uma estrutura monoidal diferente
Os functores aplicáveis são bem conhecidos e amados entre os Haskellers, por sua capacidade de aplicar funções em um contexto eficaz. Em termos teóricos da categoria, pode ser demonstrado que os métodos deApplicative: pure :: a -> f a (<*>) :: ...
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 ...
O código fica mais lento à medida que mais matrizes em caixa são alocadas
Editar: Acontece que as coisas geralmente (e não apenas operações de matriz / ref) diminuem a velocidade de criação de mais matrizes, então acho que isso pode estar medindo o tempo de GC aumentado e pode não ser tão estranho quanto eu pensava. ...
Implementar zip usando foldr
Atualmente, estou no capítulo 4 do mundo real Haskell e estou tentando entender implementação de foldl em termos de foldr [http://book.realworldhaskell.org/read/functional-programming.html#x_E9]. (Aqui está o código deles :) myFoldl :: (a -> b ...
Captura da exceção Control-C no GHC (Haskell)
Criei um loop de leitura-avaliação-impressão realmente simples no Haskell que captura o Control-C (UserInterrupt). No entanto, sempre que eu compilar e executar esse programa, ele sempre pega o primeiro Control-C e sempre aborta no segundo ...
Técnicas para rastrear restrições
Aqui está o cenário: escrevi algum código com uma assinatura de tipo e as queixas do GHC não puderam deduzir x ~ y para algunsx ey. Geralmente, você pode jogar um osso no GHC e simplesmente adicionar o isomorfismo às restrições da função, mas ...