GHC Core 是所有 Haskell 都被翻译成的System
FC语言。Core
的（近似）语法由下式给出：

Core 与更简单、更广为人知的System F密切相关。GHC
在核心级别上所做的所有转换都是此核心表示的类型保留重构，以提高性能。而且，不太为人所知，您可以直接在 Core 中编写 GHC 程序。

GHC Core 适合编译器管道（就像 2002 年一样，sans-LLVM 和 CMM）：

了解 GHC Core 的主要文件是：

• GHC 核心语言的外部表示 ，Tolmach，2001
• GHC.Core.Expr, GHC 定义本身
• Glasgow Haskell 编译器内联器的秘密 ，Peyton Jones 和 Marlow，1999 年。核心在第 2.3 节中描述，包括出现分析注释的详细信息。
• Haskell 、Peyton Jones 和 Santos，1998 年的基于转换的优化器。在 S3 中描述了 Core，包括对 Core 的多态性和操作读数的讨论。

有助于理解的相关材料：

• GHC -fext -core 输出
• 我花了很多时间通过阅读 GHC 源码来学习 Core。有些在我2002 年的本科论文中有所描述，从第 16 页开始。
• 从使用ghc-core工具，到生成我喜欢的格式的 Core。

核心又被翻译成 STG 代码，看起来像：

Core 中有趣的名字是用“Z 编码”编码的：

GHC Core 的类型和种类（来自 Tolmach 的论文）：

最后，当您将 Haskell 优化到 GHC 知道的基本指令时，GHC 的primops会定期出现在 GHC Core
输出中。primop
集作为预处理文件中的一组核心函数给出。