Perguntas com a marcação «haskell»

Em primeiro lugar, o Mundo Real Haskell , que estou lendo, diz para nunca usar foldle usar foldl'. Então eu confio nisso. Mas eu sou vago sobre quando usar foldrvs. foldl'. Embora eu possa ver a estrutura de como eles funcionam de maneira diferente na minha frente, sou burra demais …

155 recursion  functional-programming  fold  haskell 

Existe uma resposta simples: por que o GHC é tão grande? OCaml: 2MB Python: 15MB SBCL: 9MB OpenJRE - 26MB GHC: 113MB Não estou interessado no evangelismo de "Por que eu não deveria me importar com o tamanho, se Haskell é a ferramenta certa"; Esta é uma questão técnica.

147 haskell  ghc 

Eu tenho tipos de dados definidos como: data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } Agora, como está, eu tenho um modelo persistente definido como: Person name Text Committee name Text CommitteePerson personId PersonId committeeId CommitteeId …

144 sql  list  haskell  esqueleto 

Estou tentando usar o ghc-modplug-in vim para fazer a verificação de tipo / sintaxe etc. No entanto, descobri que ghc-modsempre usa caminhos completos de tipos nas mensagens de erro, por exemplo: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with ‘[GHC.Types.Char]’ || Expected type: containers-0.5.6.2:Data.Map.Base.Map || [GHC.Types.Char] || ([(integer-gmp-1.0.0.0:GHC.Integer.Type.Integer, …

143 haskell  ghc  ghc-mod 

Estou tentando descobrir como usar corretamente o API OpenSSL.Session em um contexto simultâneo Por exemplo, suponha que eu queira implementar um stunnel-style ssl-wrapper, eu esperaria ter a seguinte estrutura básica do esqueleto, que implementa uma ingênuafull-duplex tcp-port-forwarder: runProxy :: PortID -> AddrInfo -> IO () runProxy localPort@(PortNumber lpn) serverAddrInfo = …

141 haskell  openssl  ssl 

Não entendo o que é "levantar". Devo primeiro entender mônadas antes de entender o que é um "elevador"? (Também sou completamente ignorante sobre mônadas :) Ou alguém pode me explicar com palavras simples?

138 haskell  functional-programming 

Eu esperava incorporar um intérprete Haskell usando hintpara que eu pudesse escrever plugins no Haskell para usar com o meu programa. Não quero ter que enviar toda a plataforma Haskell para meus executáveis. Normalmente, os executáveis ​​Haskell são bem independentes. Por exemplo, apagar o arquivo PATHnão causa problemas: $ PATH=. …

136 haskell  packaging  shipping 

Quaisquer dicas sobre como resolver com eficiência a seguinte função no Haskell, para grandes números (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) Eu vi exemplos de memorização em Haskell para resolver números de fibonacci, que envolviam computar (preguiçosamente) todos os números de fibonacci até o n …

136 haskell  memoization 

Os números das igrejas são uma codificação dos números naturais como funções. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Ordenadamente, você pode …

135 algorithm  haskell  functional-programming  lambda-calculus  modular-arithmetic 

Estou tendo problemas ao inserir comandos de várias linhas no ghci. O seguinte código de duas linhas funciona a partir de um arquivo: addTwo :: Int -> Int -> Int addTwo x y = x + y Mas quando entro em ghci, recebo um erro: <interactive>:1:1: error: Variable not in …

134 haskell  ghci 

Existe uma função para concatenar elementos de uma lista com um separador? Por exemplo: > foobar " " ["is","there","such","a","function","?"] ["is there such a function ?"] Obrigado por qualquer resposta!

131 list  haskell  concat 

Estamos desenvolvendo um programa que recebe e encaminha "mensagens", mantendo um histórico temporário dessas mensagens, para que ele possa lhe informar o histórico, se solicitado. As mensagens são identificadas numericamente, geralmente têm cerca de 1 kilobyte e precisamos manter centenas de milhares dessas mensagens. Desejamos otimizar este programa para latência: …

130 performance  haskell  garbage-collection  ghc  latency 

Qual é exatamente a diferença entre mode remem Haskell? Ambos parecem dar os mesmos resultados *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** Exception: …

130 haskell 

Eu tenho lido Haskell do mundo real e estou chegando ao fim, mas uma questão de estilo me incomoda com os operadores (.)e ($). Quando você escreve uma função que é uma composição de outras funções, você a escreve como: f = g . h Mas quando você aplica algo …

129 haskell  coding-style  function-composition 

Os tipos de métodos dependentes, que antes eram um recurso experimental, agora foram ativados por padrão no porta-malas e, aparentemente, isso parece ter gerado algum entusiasmo na comunidade Scala. À primeira vista, não é imediatamente óbvio para que isso poderia ser útil. Heiko Seeberger postou um exemplo simples de tipos …

127 scala  haskell  programming-languages  type-systems  dependent-method-type