阅读GHC核心

核心是GHC的中间语言。Reading Core可以帮助您更好地了解程序的性能。有人要求我提供有关阅读Core的文档或教程，但找不到很多。

哪些文档可用于阅读GHC Core？

到目前为止，这是我发现的内容：

• 与C一样快地编写Haskell：利用严格性，惰性和递归
• Haskell速度与C一样快：在高海拔下工作可获得低水平性能
• RWH：第25章。分析和优化
• CUFP上的高性能Haskell演讲（幻灯片65-80）

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

核心与更简单，更知名的System F密切相关。GHC在核心级别执行的所有转换都是此核心表示形式的保留类型的重构，以提高性能。而且，并不是很知名，您可以直接在Core中编写GHC程序。

GHC Core适用于编译器管道（与2002年一样，为sans-LLVM和CMM）：

了解GHC Core的主要文档是：

• GHC核心语言的外部代表，Tolmach，2001年
• ghc / compiler / CoreSyn，GHC定义本身
• 格拉斯哥Haskell编译器的机密，Peyton Jones和Marlow，1999年。核心在2.3节中进行了描述，包括有关发生分析注释的详细信息。
• Haskell的基于转换的优化器，Peyton Jones和Santos，1998年。S3中描述了Core，包括对多态性的讨论和对Core的操作性阅读。

可以帮助理解的相关材料：

• 该GHC -fext核心输出
• 我花了很多时间通过阅读GHC资料来学习Core。在2002年我的本科论文第16页中对此进行了描述。
• 通过使用ghc-core工具，以令人愉悦的格式生成Core。

依次将核心翻译成STG代码，如下所示：

Core中的有趣名称以“ Z编码”编码：

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

最后，将Haskell优化为GHC所了解的基本说明后，GHC的primops会定期出现在GHC Core输出中。primop集作为预处理文件中的一组Core函数给出。

提示：如果您不关心类型注释和强制-ddump-simpl，请与-dsuppress-all选项一起使用。核心输出应更具可读性。

正如Don所提到的，尽管不完全是GHC Core语言，但STG语言却非常相似。最近，我进行了证明STG语言+机器的类型安全性的练习，之后我发现我可以轻松理解Core。

我用来学习STG的文字非常容易理解：在库存硬件上实现惰性功能语言： Simon Peyton-Jones 编写的无刺无标签G机。本文中的大部分内容都与实现细节有关，但我特别推荐第4节，作为对STG语言的从上到下的解释，它为某些违反直觉的设计决策提供了动力，并提供了类似的示例的翻译map。

“ GHC核心语言的外部表示形式”是可在ghc（share/doc/ghc/core.pdf）的安装中或在Internet上找到的文档。