Enquanto estou aprendendo Haskell, notei sua classe de tipo , que é considerada uma grande invenção originada de Haskell. No entanto, na página da Wikipedia sobre classe de tipo : O programador define uma classe de tipo especificando um conjunto de nomes de funções ou constantes, junto com seus...
Os candidatos compõem, as mônadas não. O que significa a afirmação acima? E quando um é preferível ao
Não sou muito proficiente em Haskell, então essa pode ser uma pergunta muito fácil. Que limitação de idioma o Rank2Types resolve? As funções em Haskell já não suportam argumentos
Como está atualmente, esta pergunta não se encaixa em nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou experiência, mas esta pergunta provavelmente irá solicitar debate, argumentos, pesquisas ou discussão extensa. Se você...
Fechado . Esta pergunta é baseada em opinião . Atualmente não está aceitando respostas. Quer melhorar esta questão? Atualize a pergunta para que possa ser respondida com fatos e citações editando este post . Fechado há 2 anos . Melhore esta questão...
Existe uma boa razão para o tipo de Prelude.read ser read :: Read a => String -> a em vez de retornar um Maybevalor? read :: Read a => String -> Maybe a Já que a string pode não ser analisável por Haskell, o último não seria mais natural? Ou até mesmo um Either String a, onde...
No capítulo 19 de Real World Haskell, muitos dos exemplos falham devido à mudança de Control.Exception. Isso me faz pensar que talvez algumas das coisas neste livro estejam obsoletas e não valham mais a pena estudar, afinal já se passaram 6 anos. Minha única outra referência é Aprenda um Haskell...
Não consigo descobrir por que m1 está aparentemente memorizado enquanto m2 não está no seguinte: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 leva cerca de 1,5 segundo na primeira chamada e uma fração disso nas chamadas subsequentes (presumivelmente ele armazena a...
Estou tentando habilitar XRankNTypesno GHCi. Como eu faço
Fechadas. Esta pergunta não atende às diretrizes do Stack Overflow . Atualmente não está aceitando respostas. Quer melhorar esta questão? Atualize a pergunta para que esteja no tópico do Stack Overflow. Fechado há 4 anos . Melhore esta questão...
Recentemente, descobri que os furos de tipo combinados com a correspondência de padrões nas provas fornecem uma experiência bastante agradável como a de Agda em Haskell. Por exemplo: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k...
O que é a typeclass Comonad em Haskell? Como em Comonad de Control.Comonad no pacote comonad (explicações de quaisquer outros pacotes que fornecem uma typeclass Comonad também são bem-vindas). Ouvi vagamente sobre o Comonad, mas tudo o que realmente sei sobre ele é que ele fornece extract :: w a...
Como está atualmente, esta pergunta não se encaixa em nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou experiência, mas esta pergunta provavelmente irá solicitar debate, argumentos, pesquisas ou discussão extensa. Se você...
Enquanto resolvia alguns problemas do Projeto Euler para aprender Haskell (atualmente, sou totalmente iniciante), resolvi o Problema 12 . Eu escrevi esta solução (ingênua): --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n `quot`...
Tipos de dados algébricos (ADTs) em Haskell podem se tornar automaticamente instâncias de alguns tipos de classes (comoShow,Eq) derivando deles. data Maybe a = Nothing | Just a deriving (Eq, Ord) Minha pergunta é: como isso derivingfunciona, ou seja, como Haskell sabe como implementar as...
A segurança de tipos de Haskell é incomparável apenas em relação às linguagens com tipos dependentes. Mas existe uma magia profunda acontecendo com Text.Printf que parece um tanto quanto duvidosa . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 Qual é a magia profunda por...
Tenho três funções que encontram o enésimo elemento de uma lista: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementIf [] a =...
Ontem eu aprendi sobre uma nova ferramenta Haskell chamada Stack . À primeira vista, parece que faz o mesmo trabalho que Cabal. Então, qual é a diferença entre eles? A pilha é um substituto para o Cabal? Em quais casos devo usar Stack em vez de Cabal? O que Stack pode fazer que Cabal não...
Fechado . Esta questão precisa ser mais focada . Atualmente não está aceitando respostas. Quer melhorar esta questão? Atualize a pergunta para que ela se concentre em apenas um problema editando esta postagem . Fechado há 5 anos . Melhore esta...
Comportamento atual Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an...