Haskell Wikibooks对懒惰的描述中关于坦克和弱头正常形式的部分提供了对WHNF的非常好的描述，以及以下有用的描述:

逐步计算值(4，[1,2])。第一阶段是 完全未鉴定的;所有随后的形式都在WHNF中，而最后 一个也是正形式。

http://foldoc.org/Weak+Head+Normal+Form上给出了一个很好的例子解释，头部范式甚至简化了函数抽象中的表达式位，而“弱”头部范式则止步于函数抽象。

从源头看，如果你有:

\ x -> ((\ y -> y+x) 2)

这是弱头部正常形式，但不是头部正常形式……因为可能的应用程序被卡在一个还不能求值的函数中。

实际的头部标准形式将难以有效地实现。这需要在函数内部进行操作。因此，弱头标准形式的优点是，您仍然可以将函数作为不透明类型来实现，因此它与编译语言和优化更加兼容。

基本上，假设你有某种坦克t。

现在，如果我们想求t的WHNF次方或NHF次方，它们除了函数外都是一样的，我们会发现我们会得到这样的东西

T1: t2，其中T1和t2是坦克。在这种情况下，t1将是你的0(或者更确切地说，在没有额外开箱的情况下，向0点击)

Seq和$!核定WHNF。请注意,

f $! x = seq x (f x)

我知道这是一个老问题，但这里有一个明确的WHNF, HNF和NF的数学定义。在纯lambda演算中:

如果一个项的形式是这样的，那么它就是NF λx1。λ x2. ...λ xn. (x t1 t2…tm) 其中x是一个变量，t1, t2，…， tm在NF中。 一个术语是HNF，如果它的形式是 λx1。λ x2. ...λ xn. (x e1 e2…em) 其中x是一个变量，e1, e2，…， em是任意的术语。 在WHNF中，如果一个项是任意项e的λ项xe，或者它是这样的形式 X e1 e2…新兴市场 其中x是一个变量，e1, e2，…， em是任意的术语。

现在考虑一种具有构造函数a,b,c…集合na, nb, nc…，这意味着无论何时t1, t2，…， tm在NF中，那么术语a t1 t2…Tm，其中m = na是一个redex，可以计算。例如，Haskell中的加法构造函数+具有arity 2，因为它只在给出两个标准形式的参数时才计算值(在本例中，整数本身可以被视为null构造函数)。

A term is in NF if it is of the form λ x1. λ x2. ... λ xn. (x t1 t2 ... tm) where x is either a variable or a constructor of arity n with m < n, and t1, t2, ..., tm are in NF. A term is in HNF if it is of the form λ x1. λ x2. ... λ xn. (x e1 e2 ... em) where x is either a variable or a constructor of arity n, and e1, e2, ... em are arbitrary terms so long as the first n arguments are not all in NF. A term is in WHNF if it is either a lambda term λ x. e for any term e or if it is of the form x e1 e2 ... em where x is either a variable or a constructor of arity n, and e1, e2, ... em are arbitrary terms so long as the first n arguments are not all in NF.

特别地，NF中的任何项都在HNF中，HNF中的任何项都在WHNF中，但不是相反的。

Haskell Wikibooks对懒惰的描述中关于坦克和弱头正常形式的部分提供了对WHNF的非常好的描述，以及以下有用的描述:

逐步计算值(4，[1,2])。第一阶段是 完全未鉴定的;所有随后的形式都在WHNF中，而最后 一个也是正形式。

WHNF不希望对lambdas的主体进行计算，因此

WHNF = \a -> thunk
HNF = \a -> a + c

seq希望它的第一个参数在WHNF中，因此

let a = \b c d e -> (\f -> b + c + d + e + f) b
    b = a 2
in seq b (b 5)

计算结果为

\d e -> (\f -> 2 + 5 + d + e + f) 2

而不是，什么会使用HNF

\d e -> 2 + 5 + d + e + 2