Perguntas com a marcação «haskell»

Por que recebo <<loop>>aqui um erro de tempo de execução infinito loop ( )? arquivo feedback.hs: plus1 :: [Int]->[Int] -- add 1 to input stream plus1 [] = [] plus1 (x:xs) = (x+1): plus1 xs to10 :: [Int] -> [Int] -- stop the input stream when it gets to 10 …

8 haskell  lazy-sequences 

A lei da naturalidade afirma que: t . traverse f == traverse (t . f) -- for every applicative transformer t Agora, para o RHS da lei, se f tem o tipo Applicative a => x -> a y, então t deve ser do tipo (Applicative a, Applicative b) => …

8 haskell  types  applicative  traversable 

Estou confuso por que minha função nestque compõe fconsigo mesma nvezes nest f 0 = id nest f n = f . nest f (n - 1) nunca termina. Eu teria pensado que seria "correspondência de padrão" no caso quando nse tornar zero. Estou definindo-o digitando essas duas linhas no …

8 haskell 

Eu apenas consegui entender a definição da classe MonadReader class Monad m => MonadReader r m | m -> r where ... Depois de ler o documento de Dependência funcional em Haskell, agora posso entender que | m -> respecifica que a variável de tipo ré decidida exclusivamente por m. …

8 haskell  monads  ghc  type-systems 

Estou tentando alterar uma lista no haskell para incluir 0 entre cada elemento. Se tivermos uma lista inicial [1..20], gostaria de alterá-la para[1,0,2,0,3..20] O que eu pensei em fazer é realmente usar o mapa em todas as funções, extrair o elemento e adicioná-lo à lista e usá ++[0]-lo, mas não …

8 list  haskell