编译到 GHC 核心

Question

我想为一种可以生成 GHC Core 的简单语言创建一个前端。 然后我想获取这个输出并通过正常的 GHC 管道运行它。 根据此页面，无法直接通过 ghc 命令执行此操作。 我想知道是否有任何方法可以做到这一点。

理想情况下，我期望对 ghc-api 进行一些函数调用，但我也愿意接受任何建议，包括（不那么广泛的）GHC 源代码中的黑客攻击。 任何指针都会有所帮助！

Answer 1

请注意，Core 是一种显式类型的语言，这使得从其他语言生成它变得非常困难（GHC 类型检查器已推断出所有类型，因此没有问题）。 例如，通常的恒等函数(id = \\x -> x :: forall a. a -> a)变成

id = \(a :: *) (x :: a) -> a

其中a是类型为*的类型变量。 它是类型级forall绑定的术语级占位符。 类似地，当调用id你需要给它一个类型作为它的第一个参数，所以 Haskell 表达式(id 42)被转换为(id Int 42) 。 此类类型绑定和类型应用程序不会出现在生成的机器代码中，但它们可用于验证编译器转换是否正确。

从好的方面来说，可能只生成 Haskell —— 如果您可以以 GHC 始终能够确定其类型的方式生成代码，那么您实际上只是使用 Haskell 的一个很小的子集。 不过，这是否可行在很大程度上取决于您的源语言。

Answer 2

无论是通过ghc命令还是 API，仍然无法读取外部核心文件。 对不起 ：（

理论上可能可以使用 GHC API 从您的表示中构建核心语法树，但这听起来非常痛苦。 我建议针对其他一些后端。 你不一定要停止使用 GHC； 带有未装箱类型和unsafeCoerce简单 Haskell 使您可以非常接近生成的 Core，因此您可以定义自己的简单“Core-ish”语言并将其编译为该语言。 （事实上​​，你甚至可以自己编译 GHC Core ，但这对我的口味来说有点太元了。）