为什么Haskell认为lambda抽象处于弱头范式（WHNF）？

Question

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

Answer 1

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

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

注意，虽然cleverFunction被定义为的λ，它不是在WHNF因为where块（糖为(\l x -> ...) locBindings）。

没有任何封闭的范围一个lambda没有可能之前调用（变量在拉姆达仅适用于单呼，和垃圾收集之后）计算的变量，即它已经在正常的形式（实际NF，而不仅仅是WHNF）。