Perguntas com a marcação «haskell»

Eu me deparei com um pedaço de código Haskell que se parece com isso: ps@(p:pt) O que o @símbolo significa neste contexto? Parece que não consigo encontrar nenhuma informação no Google (infelizmente é difícil procurar símbolos no Google) e não consigo encontrar a função na documentação do Prelude, então imagino …

127 haskell  syntax 

Mesmo programas trivialmente pequenos de Haskell se transformam em executáveis ​​gigantescos. Eu escrevi um pequeno programa, que foi compilado (com GHC) no binário com o tamanho de 7 MB! O que pode fazer com que até mesmo um pequeno programa Haskell seja compilado no enorme binário? O que posso fazer …

127 haskell  linker  ghc  static-linking  glfw 

É fácil o suficiente representar uma árvore ou lista em haskell usando tipos de dados algébricos. Mas como você representaria tipograficamente um gráfico? Parece que você precisa ter ponteiros. Eu estou supondo que você poderia ter algo como type Nodetag = String type Neighbours = [Nodetag] data Node a = …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Estou tendo um comportamento estranho com a substituição do Interactive-Haskell emacs. Quando eu origino um arquivo, o emacsmini buffer mostra uma série de prompts interativos: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set current directory: Se eu deixar o diretório cabal …

124 haskell  emacs  cabal  ghci 

Como posso encontrar a quantidade real de memória necessária para armazenar um valor de algum tipo de dados no Haskell (principalmente com GHC)? É possível avaliá-lo em tempo de execução (por exemplo, no GHCi) ou é possível estimar os requisitos de memória de um tipo de dados composto a partir …

124 haskell  memory-management  ghc  algebraic-data-types 

O código para a função myAny nesta pergunta usa foldr. Para de processar uma lista infinita quando o predicado é satisfeito. Eu o reescrevi usando foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item …

124 haskell  lazy-evaluation  combinators  fold 

Estou aprendendo Haskell em learnyouahaskell.com . Estou tendo problemas para entender construtores de tipo e construtores de dados. Por exemplo, eu realmente não entendo a diferença entre isso: data Car = Car { company :: String , model :: String , year :: Int } deriving (Show) e isto: data …

124 haskell 

A mônada do leitor é tão complexa e parece inútil. Em uma linguagem imperativa como Java ou C ++, não existe um conceito equivalente para a mônada do leitor, se não me engano. Você pode me dar um exemplo simples e esclarecer um pouco isso?

122 haskell  monads  reader-monad 

Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que essa pergunta pode ser melhorada e possivelmente reaberta, visite o centro …

121 haskell  functional-programming 

Há muito tempo me pergunto por que a avaliação preguiçosa é útil. Ainda não tenho ninguém que me explique de uma forma que faça sentido; na maioria das vezes, acaba se resumindo a "confiar em mim". Nota: não quero dizer memoização.

119 haskell  functional-programming  lazy-evaluation 

Digamos que eu tenha o seguinte registro ADT: data Foo = Bar { a :: Integer, b :: String, c :: String } Eu quero uma função que leva um registro e retorna um registro (do mesmo tipo) onde todos, exceto um dos campos têm valores idênticos ao passado como …

119 haskell  record 

Estou curioso para saber por que as implementações de Haskell usam um GC. Não consigo pensar em um caso em que o GC seria necessário em uma linguagem pura. É apenas uma otimização para reduzir as cópias ou é realmente necessário? Estou procurando por exemplo de código que vazaria se …

118 haskell  garbage-collection 

Eu vasculhei a internet em busca de uma explicação real do que essa palavra-chave faz. Cada tutorial Haskell que eu li começa a usá-lo aleatoriamente e nunca explica o que ele faz (e eu olhei muitos). Aqui está um código básico do Real World Haskell que usa Just. Eu entendo …

118 haskell  syntax 

O site de Haskell apresenta uma função quicksort de 5 linhas muito atraente , como mostrado abaixo. quicksort [] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs Eles também incluem uma "classificação rápida …

118 sorting  haskell  quicksort 

Quero resolver alguns problemas de processamento de imagem em Haskell. Estou trabalhando com imagens bitonais (bitmap) e coloridas com milhões de pixels. Eu tenho uma série de perguntas: Em que base devo escolher entre Vector.Unboxede UArray? Ambos são arrays unboxed, mas a Vectorabstração parece muito anunciada, principalmente em torno da …

117 arrays  haskell  image-processing  bitmap