Lectura del Núcleo GHC

GHC Core es el lenguaje System FC al que se traduce todo Haskell. La gramática (aproximada) para Core viene dada por:

Core está estrechamente relacionado con el sistema más simple y mejor conocido F. Todas las transformaciones que GHC hace en el nivel del Núcleo son refactorizaciones que preservan el tipo de esta representación del Núcleo, para mejorar el rendimiento. Y, no tan conocido, puede escribir directamente en el núcleo para programar GHC.

GHC Core encaja en el compilador pipeline (como en 2002, sans-LLVM y CMM):

Los documentos principales para aprender sobre GHC Core son:

• Una Representación Externa para el Lenguaje GHC Core , Tolmach, 2001
• ghc/compiler / CoreSyn, la propia definición de GHC
• Secretos del compilador de Glasgow Haskell inliner, Peyton Jones and Marlow, 1999. Core se describe en la sección 2.3, incluyendo detalles sobre la ocurrencia anotaciones de análisis.
• Un optimizador basado en la transformación para Haskell, Peyton Jones y Santos, 1998. Core se describe en S3, incluyendo una discusión del polimorfismo y las lecturas operativas de Core.

Material relacionado que puede ayudar a la comprensión:

• La salida GHC-fext-core
• Pasé mucho tiempo aprendiendo Core leyendo GHC source. Algunos se describen en mi tesis de pregrado de 2002, de página 16.
• Usando la herramienta ghc-core, para generar Core en un formato que me parece agradable.

Core a su vez se traduce en código STG, que se ve algo así como:

Los nombres divertidos en Core están codificados en la "codificación Z":

Tipos y tipos de GHC Core (del documento de Tolmach):

Finalmente, los primops de GHC aparecen regularmente en la salida GHC Core, cuando has optimizado tu Haskell hasta las instrucciones básicas que GHC conoce. El conjunto primop se da como un conjunto de funciones Principales en un archivo preprocesado.