Perguntas com a marcação «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 …

106 haskell  ghc  memoization 

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 …

105 haskell  typeclass  comonad 

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 -> k -> * where Refl :: x == …

105 haskell  dependent-type 

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ê acha que esta questão pode ser melhorada e possivelmente reaberta, …

104 haskell  comparison  lisp  language-comparisons 

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` 2)+1)], n `rem` …

104 haskell  performance  profiling 

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 …

104 haskell  printf  variadic-functions  polyvariadic 

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 funções da typeclass derivada para …

104 haskell  typeclass  derived-types  derived-instances  deriving 

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 :: …

104 haskell  if-statement  case 

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 …

104 haskell  cabal  haskell-stack 

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 questão As linguagens funcionais são boas porque evitam bugs …

103 haskell  f#  functional-programming 

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 equation for ‘it’: it = show _ …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Por que temos três funções diferentes que fazem essencialmente a mesma coisa?

102 list  haskell  monads  redundancy  functor 

Acabei de começar um novo projeto Haskell e queria configurar um bom fluxo de trabalho de teste desde o início. Parece que Haskell tem muitas ferramentas de teste excelentes e exclusivas e muitas maneiras diferentes de integrá-las. Eu pesquisei: HUnit Checagem rápida supino HPC complexidade Todos parecem funcionar muito bem …

101 testing  haskell 

Em F #, o uso do operador pipe-forward,, |>é bastante comum. No entanto, em Haskell, eu só vi composição de funções,, (.)sendo usada. Eu entendo que eles estão relacionados , mas há um motivo de linguagem para que o pipe-forward não seja usado em Haskell ou é outra coisa?

100 haskell  f#  functional-programming  composition 

Em linguagens puramente funcionais como Haskell, existe um algoritmo para obter o inverso de uma função, (editar) quando ela é bijetiva? E existe uma maneira específica de programar sua função assim?

100 haskell  clojure  functional-programming  ocaml