Resultados da pesquisa a pedido "haskell"
Haskell quickcheck - como gerar apenas strings imprimíveis
Eu tenho um conjunto de programas de demonstração simples que codificam / decodificam seqüências de caracteres e desejam gerar algunschecagem rápida testes para eles, mas para limitar os testes apenas a sequências imprimíveis. O uso de uma ...
Como faço para fazer uma lista heterogênea no Haskell? (originalmente em Java)
Como converter a seguinte implementação Java em Haskell? O principal objetivo aqui é ter uma lista que contém vários elementos que são subtipo de uma interface específica. Tentei fazer uma versão Haskell abaixo, mas não atendi meu objetivo. O ...
O que está acontecendo nessa função (haskell)?
Eu tenho essa função haskell que não entendo direito. ns :: [Integer] ns = 0 : [n+k | (n, k) <- zip ns [1,3..]]Me pedem para "tomar 3 ns". Eu pensei que ns era constante, então seria apenas zip com o primeiro elemento da lista, dando (0,1). ...
Aplicar parcialmente várias funções no Haskell
Suponha que, em Haskell, eu tenha várias funções que dependem do mesmo tipo de parâmetro: f :: Par -> a -> b g :: Par -> b -> cEnquanto escrevo mais dessas funções que ainda dependem desse tipo de parâmetro, posso fazer algo como h :: Par -> a ...
Como você usa Control.Applicative para escrever Haskell mais limpo?
Em uma recenteresponder a uma pergunta de estilo [https://stackoverflow.com/questions/127190/good-haskell-coding-style-of-if-else-control-block/2096144#2096144] , Eu escrevi main = untilM (isCorrect 42) (read `liftM` getLine)e isCorrect num ...
Quais caracteres são permitidos nos nomes de funções Haskell?
Qual é o nome válido para uma função? Exemplos -- works let µ x = x * x let ö x = x * x -- doesn't work let € x = x * x let § x = x * xNão tenho certeza, mas meu palpite é que Haskell não permite nomes de funções Unicode, não é? (Unicode como ...
Haskell: versão de recursão da cauda da profundidade da árvore binária
Primeiro de tudo, tenho duas implementações diferentes que acredito serem corretas, e as criei um perfil e pensando que são sobre o mesmo desempenho: depth::Tree a -> Int depth Empty = 0 depth (Branch b l r) = 1 + max (depth l) (depth r) ...
subsequências de comprimento n do desempenho da lista
Eu implementei uma versão desta resposta https://stackoverflow.com/a/9920425/1261166 [https://stackoverflow.com/a/9920425/1261166](Não sei o que a pessoa estava pretendendo) sublistofsize 0 _ = [[]] sublistofsize _ [] = [] sublistofsize n (x : ...
atribuição de auto-referência ghci
Eu estava aprendendo um novo Haskell hoje, quando tentei algo em ghci. Basicamente, tudo se resumia a isso: Prelude> let x = 6 Prelude> x 6 Prelude> let y = show x Prelude> y "6" Prelude> let x = show x Prelude> ...
É possível introduzir variáveis de tipo adicionais em uma restrição de superclasse?
Ao lidar com famílias de tipos, geralmente é útil usar restrições de igualdade para evitar a necessidade de repetir o nome de alguma função de tipo em uma assinatura: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType ...