Functional programming 使用LLVM实现干净的后端是否可行

为使用LLVM工具包实现后端是否可行？如果没有，障碍是什么

---

此外，如果您碰巧知道Clean编译器用作IR的“ABC汇编程序”的一个很好的参考，请将其包含在您的答案中。谢谢。

如果没有ABC中间语言的任何文档，这将是非常困难的（我一直找不到任何这样的文档）

然而，这绝对是可能的。正如您自己所暗示的，您需要实现代码生成器来使用llvm——llvm的范围完全取决于ABC语言的复杂性

---

Haskell的llvm后端可能会有所启发：

您可能对以下文章感兴趣（由于ST部门的服务器配置出错，我很难找到它们）：

Smetsers，J.E.W.编译干净抽象ABC机器代码，内梅亨大学，技术报告8920，1989年10月。描述如何将CLEAN转换为（中间）ABC代码

Koopman p.W.M.，Eekelen M.C.J.D.van，Nöcker E.G.J.M.H.，Smetsers S.，Plasmeijer M.J.（1990）。'ABC机器： 一种基于顺序堆栈的图形重写抽象机。技术报告90-22，大学 奈梅根

---

另请参见。

您的研究让您想到了什么？这是一种很有前途的语言，只有一小部分人在遥远的土地上了解它。