Questions marquées «ghc»

Glasgow Haskell Compiler est un compilateur open source à la pointe de la technologie et un environnement interactif pour le langage fonctionnel Haskell. Utilisez cette balise pour les questions spécifiquement sur GHC et non sur Haskell en général, car presque tout le monde l'utilisera, sauf indication contraire.

1
Transitivité de l'auto-spécialisation en GHC
De la documentation pour GHC 7.6: [V] ous n'avez souvent même pas besoin du pragma SPECIALIZE en premier lieu. Lors de la compilation d'un module M, l'optimiseur de GHC (avec -O) considère automatiquement chaque fonction surchargée de niveau supérieur déclarée dans M, et la spécialise pour les différents types auxquels …
392 haskell  ghc 

2
Techniques de traçage des contraintes
Voici le scénario: j'ai écrit du code avec une signature de type et GHC ne peut pas déduire x ~ y pour certains xet y. Vous pouvez généralement lancer un os GHC et simplement ajouter l'isomorphisme aux contraintes de fonction, mais c'est une mauvaise idée pour plusieurs raisons: Il ne …
322 haskell  constraints  ghc 

8
Que fait le mot-clé `forall` dans Haskell / GHC?
Je commence à comprendre comment le forallmot-clé est utilisé dans les soi-disant "types existentiels" comme ceci: data ShowBox = forall s. Show s => SB s Ce n'est qu'un sous-ensemble, cependant, de la façon dont il forallest utilisé et je ne peux tout simplement pas me concentrer sur son utilisation …
312 haskell  syntax  types  ghc  forall 


2
Quand -XAllowAmbiguousTypes est-il approprié?
J'ai récemment posté une question sur syntactic-2.0 concernant la définition de share. J'ai eu ce travail dans GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: sup, …
212 haskell  ghc 

4
Lecture de GHC Core
Core est le langage intermédiaire de GHC. Reading Core peut vous aider à mieux comprendre les performances de votre programme. Quelqu'un m'a demandé de la documentation ou des tutoriels sur la lecture de Core, mais je n'ai pas trouvé grand-chose. Quelle documentation est disponible pour lire GHC Core? Voici ce …


1
Spécialisation avec contraintes
J'ai des problèmes pour que GHC spécialise une fonction avec une contrainte de classe. J'ai ici un exemple minimal de mon problème: Foo.hs et Main.hs . Les deux fichiers se compilent (GHC 7.6.2, ghc -O3 Main) et s'exécutent. REMARQUE: Foo.hs est vraiment dépouillé. Si vous voulez voir pourquoi la contrainte …
156 haskell  ghc 

6
Pourquoi le GHC est-il si grand / gros?
Y a-t-il une réponse simple: pourquoi le GHC est-il si grand? OCaml: 2 Mo Python: 15 Mo SBCL: 9 Mo OpenJRE - 26 Mo GHC: 113 Mo Pas intéressé par l'évangélisation de "Pourquoi je ne devrais pas me soucier de la taille si Haskell est le bon outil"; c'est une …
147 haskell  ghc 

2
GHC-mod doit-il utiliser des noms complets pour les types?
J'essaie d'utiliser le ghc-modplugin vim pour faire la vérification de type / syntaxe, etc. Cependant, j'ai trouvé que cela ghc-modutilise toujours des chemins complets de types dans les messages d'erreur, par exemple: 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] || …
143 haskell  ghc  ghc-mod 

5
Réduction du temps de pause du ramasse-miettes dans un programme Haskell
Nous développons un programme qui reçoit et transmet des "messages", tout en gardant un historique temporaire de ces messages, afin qu'il puisse vous dire l'historique des messages si demandé. Les messages sont identifiés numériquement, mesurent généralement environ 1 kilo-octet et nous devons conserver des centaines de milliers de ces messages. …





En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.