Lecture GHC Core

Question

De base est de GHC l'intermédiaire de la langue. Lecture de Base 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 Base, mais je ne pouvais pas trouver beaucoup.

Quelle documentation est disponible pour la lecture de Noyau de GHC?

Voici ce que j'ai trouvé pour l'instant:

• Écrire Haskell aussi rapide que du C: exploitation de la rigueur, de la paresse et de la récursivité
• Haskell aussi rapide que du C: travail à haute altitude à faible niveau de performance
• RWH: Chapitre 25. Le profilage et l'optimisation
• Haute Performance Haskell parler à CUFP (toboggan de 65 à 80)

Answer 1

GHC de Base est le Système le FC langue dans laquelle tous les Haskell est traduit. L' (approximative) de la grammaire de Base est donnée par:

Core est étroitement liée à la plus simple et la mieux connue du Système F. Toutes les transformations de GHC n'sur le niveau de Base sont le type de préserver les refactorings de ce Noyau de la représentation, afin d'améliorer les performances. Et, pas si bien connu, vous pouvez écrire directement au Cœur du programme de GHC.

GHC de Base s'inscrit dans le compilateur de canalisation (comme il l'a été en 2002, sans-LLVM et CMM):

Les documents primaires à apprendre à propos de GHC de Base sont:

• Une Représentation Externe pour le GHC de Base de la Langue, Tolmach, 2001
• ghc/compilateur/CoreSyn, le GHC définition elle-même
• Les Secrets de la Glasgow Haskell Compilateur inliner, Peyton Jones et Marlow, 1999. De base est décrite dans la Section 2.3, y compris des détails sur la présence de l'analyse des annotations.
• Une transformation basée sur l'utilisation de l'optimiseur pour Haskell, Peyton Jones et Santos, 1998. De base est décrit dans S3, y compris une discussion de polymorphisme et opérationnelle des lectures de Base.

Matériel connexe qui peuvent aider à la compréhension:

• Le GHC -fext-core de sortie
• J'ai passé beaucoup de temps à l'apprentissage de Base en lecture GHC source. Certains est décrit dans mon premier cycle de thèse à partir de 2002, à partir de la page 16.
• De l'utilisation de l' ghc-core outil pour générer de Base dans un format que je trouve agréable.

Core est à son tour traduit en STG code, qui ressemble à quelque chose comme:

Le plus drôle, dans les noms de Base sont codés dans le "Z"codage:

GHC Core types et les genres (à partir de Tolmach du papier):

Enfin, GHC du primops apparaissent régulièrement dans le Noyau de GHC sortie, quand vous avez optimisé votre Haskell vers le bas pour les instructions de base de GHC connaît. Le primop ensemble est donné comme un ensemble de fonctions de Base dans un pré-traitées fichier.

Answer 2

Un conseil: Si vous ne tenez pas compte des annotations de type et des coercions, utilisez -ddump-simpl avec l'option -dsuppress-all . La sortie Core devrait être beaucoup plus lisible.

Answer 3

Bien que n'étant pas exactement le GHC de Base de la langue, que Ne mentionne le STG langue est assez similaire. Je suis récemment allé à travers l'exercice de la preuve de la sécurité de l'STG langue + la machine, et ensuite j'ai trouvé que je pouvais comprendre Core facilement.

Le texte que j'ai utilisé pour apprendre la STG est tout à fait accessible: la mise en Œuvre de Paresseux Langages Fonctionnels sur le Stock de Matériel: La Veules sans étiquette G-machine par Simon Peyton-Jones. Une grande partie de l'étude concerne la mise en œuvre des détails, mais je vous recommande l'article 4, en particulier, en tant que de haut en bas de l'explication de la STG langue qui donne les motivations de certains de la contre-intuitive, les décisions de conception et fournit des traductions des exemples familiers comme map.

Answer 4

"Une représentation externe pour la langue principale de GHC" est un document qui peut être trouvé dans l'installation de ghc ( share/doc/ghc/core.pdf ) ou sur internet .