Supero（Haskell超级编译器）的用法？答案

【问题标题】：Supero (Haskell supercompiler) usage?Supero（Haskell超级编译器）的用法？
【发布时间】：2011-07-13 11:40:27
【问题描述】：

我正在看这个项目http://community.haskell.org/~ndm/supero/

我已经下载并编译了程序，可以在包含的示例上使用它。但是我在我的源代码上试过了，看起来这个程序只理解 Haskell 的一个子集。

我得到了这样的东西：

超级编译器：未处理 fromDecl：PatBind (SrcLoc {srcFilename = "unknown.hs", srcLine = 15, srcColumn = 1}) (PTuple [PVar (Ident "width"),PVar (Ident "height")]) Nothing (UnGuardedRhs (Tuple [Lit) (Int 7),Lit (Int 6)])) (BDecls [])

代码可在此处获得https://github.com/phuc/Score4-haskell/blob/master/Main.hs

如何让 GHC 输出 Supero 理解的 Haskell 类型？

非常感谢。

【问题讨论】：

标签： haskell optimization ghc

【解决方案1】：

幻灯片here 似乎暗示它首先通过 Yhc 运行，然后转换为中间形式 HILL（First order Haskell Intermediate Little Language - 看幻灯片），然后，最后，分析就可以完成了。

另一个幻灯片提供了这个图表：

【讨论】：

【解决方案2】：

据我了解，当前版本的 Supero 仅处理 ICFP 2010 论文中描述的 Haskell 子集。

之前的版本确实与 YHC 管道集成，可以处理更大的子集。这是很久以前的事了，而 YHC 本身的编译就很伤人。我不会推荐它。

Max Bolingbroke 目前正在将他自己的超级编译器集成到 GHC 中。但是，我在他的 GitHub 存储库中看不到代码，因此它可能尚未准备好供公众使用。

【讨论】：

GHC 仓库中有一个supercomilation 分支。