Resultados da pesquisa a pedido "haskell"
Pesquisa ampliada usando a mônada do estado em Haskell
Recentemente, fiz uma pergunta para criar a árvore DFS a partir do Graph no Stackoverflow e aprendi que ela pode ser simplesmente implementada usando a State Monad. DFS em ...
Existe, em Haskell, algo semelhante aos sub-guardas?
Estou escrevendo um programa sobre a classificação de intervalos musicais. A estrutura conceitual é bastante complicada e eu a representaria da maneira mais clara possível. As primeiras linhas de código são um pequeno extrato que funciona ...
Como “dobrar” não é poderoso o suficiente para escrever uma impressora bonita de árvore com recuo, o que é um combinador de alta ordem?
Dado, por exemplo, o seguinte tipo de dados em árvore: data Tree a = Node [Tree a] | Leaf a deriving Show type Sexp = Tree StringComo expresso uma função "bonita" usando um combinador de alta ordem, que imprime a árvore com o recuo apropriado? ...
Depurando E / S em um módulo de pacote dentro do GHCi
Estou fazendo IO de baixo nível (para ligações de biblioteca) em Haskell e estou enfrentando um segfault. Eu gostaria de usar o GHCi:pausapara descobrir o que está acontecendo, mas eis o que acontece: > import SDL > :break SDL.setPaletteColors ...
Inferência de tipo com GADTs - a0 é intocável
Digamos que eu tenho esse programa {-# LANGUAGE GADTs #-} data My a where A :: Int -> My Int B :: Char -> My Char main :: IO () main = do let x = undefined :: My a case x of A v -> print v -- print xcompila bem. Mas quando eu comento noprint x, ...
Teste se um valor foi avaliado para a forma normal da cabeça fraca
Em Haskell, é possível testar se um valor foi avaliado para a forma normal da cabeça fraca? Se uma função já existe, eu esperaria que ela tivesse uma assinatura como evaluated :: a -> IO BoolExistem alguns lugares onde vive uma ...
Acessando o "show padrão" em Haskell?
Digamos que você tenha uma estrutura de dados (emprestada dessaPergunta, questão [https://stackoverflow.com/q/2529663/67579]): data Greek = Alpha | Beta | Gamma | Delta | Eta | Number IntAgora pode-se fazer disso uma instância deShow ...
Por que não existe uma instância 'Alternativa' para 'Control.Applicative.Const'
Existe uma instânciaMonoid a => Monoid (Const a b) para oConst [http://hackage.haskell.org/package/base-4.7.0.2/docs/Control-Applicative.html#t:Const] functor deControl.Applicative. Há também uma instânciaMonoid m => Applicative (Const m). Eu ...
Pacote Haskell instalado mas não encontrado
Instalei diagramas e parece estar lá, mas o GHCi não o encontra. Tentei adicionar a sandbox local à linha de comando (-package-db), mas ainda não tive sorte. Alguma sugestão? C:\Users\guthrie> C:\Users\guthrie>cabal install diagrams ...
Haskell: restrições padrão para digitar
Considere este exemplo: applyKTimes :: Integral i => i -> (a -> a) -> a -> a applyKTimes 0 _ x = x applyKTimes k f x = applyKTimes (k-1) f (f x) applyThrice :: (a -> a) -> a -> a applyThrice = applyKTimes 3o3 noapplyThrice é padronizado pelo GHC ...