Perguntas com a marcação «ghc»

Dos documentos para o GHC 7.6: Em geral, você nem precisa do pragma SPECIALIZE. Ao compilar um módulo M, o otimizador do GHC (com -O) considera automaticamente cada função de sobrecarga de nível superior declarada em M e a especializa para os diferentes tipos em que é chamado em M. O otimizador...

Aqui está o cenário: escrevi algum código com uma assinatura de tipo e as queixas do GHC não puderam deduzir x ~ y para alguns xe y. Geralmente, você pode jogar um osso no GHC e simplesmente adicionar o isomorfismo às restrições da função, mas essa é uma má idéia por vários motivos: Não enfatiza...

Estou começando a entender como a forallpalavra-chave é usada nos chamados "tipos existenciais" como este: data ShowBox = forall s. Show s => SB s Este é apenas um subconjunto, no entanto, de como forallé usado e eu simplesmente não consigo entender meu uso em coisas como esta: runST ::...

Haskell (com o GHCcompilador) é muito mais rápido do que você esperaria . Quando usado corretamente, ele pode aproximar-se dos idiomas de baixo nível. (O que os Haskellers preferem fazer é tentar chegar a 5% de C (ou até superá-lo, mas isso significa que você está usando um programa C ineficiente,...

Recentemente, publiquei uma pergunta sobre sintático-2.0 com relação à definição de share. Eu tive isso trabalhando no GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b)...

O núcleo é a linguagem intermediária do GHC. O Reading Core pode ajudá-lo a entender melhor o desempenho do seu programa. Alguém me pediu documentação ou tutoriais sobre a leitura do Core, mas não consegui encontrar muita coisa. Que documentação está disponível para leitura do GHC Core? Aqui está...

O GHC tem muitas otimizações que pode executar, mas não sei o que são, nem qual a probabilidade de serem executadas e em que circunstâncias. Minha pergunta é: que transformações posso esperar que seja aplicada toda vez ou quase isso? Se eu olhar para um pedaço de código que será executado...

Estou tendo problemas para que o GHC especialize uma função com uma restrição de classe. Eu tenho um exemplo mínimo do meu problema aqui: Foo.hs e Main.hs . Os dois arquivos são compilados (GHC 7.6.2 ghc -O3 Main) e executados. NOTA: Foo.hs está realmente despojado. Se você quiser ver por que a...

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

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]’ ||...

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...

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...

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 de...

Haskell tem uma função de identidade que retorna a entrada inalterada. A definição é simples: id :: a -> a id x = x Então, para se divertir, isso deve resultar 8: f = id id id id id id id id id id id id id id id id id id id id id id id id id id id main = print $ f 8 Após alguns segundos (e...

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...

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...

Este pedaço de código Haskell é executado muito mais devagar -O, mas não-O deve ser perigoso . Alguém pode me dizer o que aconteceu? Se for importante, é uma tentativa de resolver este problema e usa pesquisa binária e árvore de segmento persistente: import Control.Monad import Data.Array data...

Ao compilar meu aplicativo Haskell com a -Wallopção, GHC reclama sobre instâncias órfãs, por exemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result A classe de tipo ToSElemnão é minha, ela é definida por HStringTemplate . Agora eu sei como consertar isso (mover a...

Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Eu quero fazer Stringuma instância de Fooable: instance Fooable String where toFoo = FooString GHC então reclama: Illegal instance declaration for `Fooable String'...

Por que o GHCi fornece respostas incorretas abaixo? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ATUALIZAÇÃO Eu implementaria a função de Haskell (^) da seguinte...