Haskell中thunk定义争议：表达式z是否为thunk？

结论先行 #

Stack Overflow的说法是正确的，Wikibooks的表述存在不准确之处——z本身不是thunk，仅它的两个组件是。

关键概念澄清 #

• Thunk：指尚未求值的表达式，是需要执行计算才能得到结果的延迟块。
• WHNF（弱首范式）：当表达式的最外层是数据构造器（比如元组(,)、Just、列表构造器:等）或函数时，该表达式就处于WHNF状态，此时外层无需再计算，仅内部可能存在未求值的部分。

针对示例的分析 #

对于表达式：

z = (length [1..5], reverse "olleh")

• GHCi中:sprint z输出z = (_,_)，这说明z的最外层已经被求值为元组构造器(,)，处于WHNF状态。因此z本身不是thunk，只有它的两个子组件length [1..5]和reverse "olleh"是未求值的thunk。
• 当你对z进行模式匹配（比如let (a,b) = z in ...），GHC不需要对z做额外计算——因为外层构造器已经确定，只会在实际用到a或b时，才去求值对应的thunk。

关于Wikibooks的表述问题 #

Wikibooks可能混淆了“表达式的延迟性”和“thunk的定义”：

• 虽然z的整体遵循惰性求值（不被引用就不会触发内层计算），但z本身因为外层构造器已经确定，不属于thunk。
• 所谓“按层求值”是指求值从外层到内层逐步推进，但外层构造器一旦确定（进入WHNF），就不再是thunk，后续仅在需要时处理内层未求值的部分。

理论与实践的一致性 #

GHC的行为完全符合Haskell惰性求值规范：定义z时，GHC会将其求值到WHNF（确定外层是元组构造器），但不会深入计算内部的length和reverse。这既满足了“不引用就不求值”的原则，也严格遵循了WHNF和thunk的定义。

内容的提问来源于stack exchange，提问作者Trung Do