haskell - 为什么 Haskell 认为 lambda 抽象是弱头范式(WHNF)？

Question

这个问题已经有答案了:

Why is a built-in function applied to too few arguments considered to be in weak head normal form? (2 个回答)

已关闭 9 年前。

在 Haskell 中，lambda 被认为是 WHNF，而未应用的用户定义函数则不然。这种区别背后的动机是什么？

Answer 1

将信息附加到需要在计算函数之前计算的函数通常很有用，但随后可以在调用之间共享。

cleverFunction = \x -> simpleCombine x expensiveConstant
 where expensiveConstant = ...
       simpleCombine x c = ...

请注意，虽然 cleverFunction 被定义为 lambda，但由于 where block ((\l x -> .. .) locBindings).

没有任何封闭作用域的 lambda 没有可以在调用之前计算的变量(lambda 中的变量仅对单次调用有效，并在之后被垃圾收集)，即它已经在正常形式(实际上是 NF，而不仅仅是 WHNF)。