haskell - 为什么管道定义内部功能

Question

我在看 pipes库源代码，例如 Core module我不明白为什么作者到处使用这样定义函数的模式:

runEffect = go
  where
    go p = ...

或者:

pull = go
  where
    go a' = ...

或者:

reflect = go
  where
    go p = ...

这是启用某些优化的技巧吗？我觉得它很难看，如果它是一些优化技巧，我真的希望编译器可以在没有这样的事情的情况下做到这一点。但也许还有其他原因？

Answer 1

GHC 只会内联非递归函数，并且仅当从句法的角度“完全应用”它们时(即在调用站点，它们被应用于定义左侧出现的参数数量)。

在您发布的示例中没有参数，但是定义可能是递归的并且不会被内联。执行此转换可能允许在调用站点内联和专门化定义(对于 m 等的具体类型)。

Is this some trick to enable some optimizations? I find it ugly, if it's some optimization trick I really wish the compiler could do it without things like that.

是的，它 super 蹩脚。