haskell - 如何读取简化器输出？

Question

考虑 recent question 中的一个简单函数:

myButLast :: [a] -> a
myButLast [x, y] = x
myButLast (x : xs) = myButLast xs
myButLast _ = error "List too short"

我们可以通过 ghc -ddump-simpl 请求 GHC 给我们简化器的输出。 . (可能与 someadditional flags 类似 -dsuppress-module-prefixes -dsuppress-uniques 。)据我所知，它
是编译的最后阶段，结果仍然与原始高点有任何相似之处
级别代码。所以这就是它所说的:

-- RHS size: {terms: 21, types: 22, coercions: 0, joins: 0/0}
myButLast :: forall a. [a] -> a
[GblId,
 Arity=1,
 Str=<S,1*U>,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [30] 100 0}]
myButLast
  = \ (@ a) (ds :: [a]) ->
      case ds of {
        [] -> myButLast1 @ a;
        : x ds1 ->
          case ds1 of {
            [] -> myButLast1 @ a;
            : y ds2 ->
              case ds2 of {
                [] -> x;
                : ipv ipv1 -> myButLast_$smyButLast1 @ a y ipv ipv1
              }
          }
      }

这里发生了什么？让我们看看。

对于类型签名，现在带有显式量词，附加了某种注释。
我可能猜他们说“全局标识符，一元，顶级”，这都是真的
功能。其他注释，如 WorkFree=True , Str=<S,1*U> ，对我来说很神秘。

“值”定义现在是一个 lambda，除了一个列表之外，它还接受一个类型变量
论证，并继续通过案例分析研究 list 。 [] -> myButLast1 @ a是一种荣耀
错误调用，所以让我们暂时忽略它。有趣的部分是调用myButLast_$smyButLast1 (那是什么名字？我以为 $ 符号不能是
标识符。)，结果是一个尾递归函数，它实际上遍历了列表。

在这里，我们认为是相互递归 block 的单个成员:

Rec {
-- RHS size: {terms: 13, types: 12, coercions: 0, joins: 0/0}
myButLast_$smyButLast1 [Occ=LoopBreaker]
  :: forall a. a -> a -> [a] -> a
[GblId,
 Arity=3,
 Caf=NoCafRefs,
 Str=<L,1*U><L,1*U><S,1*U>,
 Unf=OtherCon []]
myButLast_$smyButLast1
  = \ (@ a) (sc :: a) (sc1 :: a) (sc2 :: [a]) ->
      case sc2 of {
        [] -> sc;
        : ipv ipv1 -> myButLast_$smyButLast1 @ a sc1 ipv ipv1
      }
end Rec }

它非常清晰，但它确实有一些对我们来说是新的特性，比如递归 block
分隔符 Rec ... end Rec和一个神秘的评论[Occ=LoopBreaker] .注释也是
不同:Unf数组为空，并且 Caf而是出现字段。我只能推断Unf有趣的领域是程序员定义的名称的质量，而myButLast_$smyButLast1由编译器创建。

因此，通过行数，我可以理解简化器给我的大约一半的内容，但在某些部分中，我什至无法开始猜测其含义。

是前提，简化器的输出通常是最有用的中间
代表，对吗？

到目前为止我的阅读正确吗？

所有这些神秘的言论都有手册吗？他们的意思是什么？

Answer 1

我知道没有关于 Core 的手动或独立文档，其中包含您正在寻找的那种细节。当然有这个page on Core来自 Wiki，但它只是在高层次上解释了 Core 语言，并且主要是根据用于表示 Core 抽象语法树的编译器数据结构来解释的，而不是具体的“ pretty-print ”语法。

获得所需详细信息的唯一方法是下载一份 GHC 源代码并开始查看 ghc/compiler/coreSyn/ 中的代码。 .

GHC 又大又复杂，但大部分是用 Haskell 编写的，而且很多代码非常高级且可读性强，源代码注释很多，到处都是出色的解释和注释。

如果你想知道WorkFree=True意味着，例如，你会:

在 PprCore.hs 中查找代码生成注释，以确定它是 uf_is_work_free CoreUnfolding 的字段.

查看 CoreUnfolding 的定义在 CoreSyn.hs及其相关评论，您可以在其中看到 Unfolding是可以在内联时替换的标识符的表示，uf_is_work_free flag 是 exprIsWorkFree 的缓存副本这以某种方式表明内联展开不会“浪费工作”。

查看 CoreSyn.hs 中的评论, CoreUnfold.hs , 和 CoreUtils.hs查找 exprIsWorkFree 的附加说明及其含义:

exprIsWorkFree is used when deciding whether to inline something; we don't inline it if doing so might duplicate work, by peeling off a complete copy of the expression.

给出一个例子:

let x = a #+ b in x +# x  -- I think `#+` is a typo and should be `+#`

指出x不是“免费工作”，因为如果它被内联在 RHS 上，那将导致 a +# b要评估两次的操作

在您的情况下， myButLast 的版本在您的核心输出中是无工作的，因为它不会独立于每次可以重用的参数来评估任何表达式 myButLast被申请;被应用。