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

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

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

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

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

f $! x = seq x (f x)

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

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

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

从源头看，如果你有:

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

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

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

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

头部正常形式意味着没有头部redex

(λx (y(λ。y + x) b)) b

简化为:R，代表redex(是的，它里面还有另一个redex，但这是不相关的)。这是一个头部redex，因为它是最左边的redex(唯一的redex)，在它之前没有lambda项(变量或lambda表达式(应用或抽象))，只有0到n个抽象者(如果R是一个redex (λx. a)B, R的抽象者是λx)，在这种情况下是0。

因为有一个头部索引，它不在HNF中，因此也不在NF中，因为有一个索引。

WHNF意味着它是一个lambda抽象或在HNF中。上述内容不在HNF中，也不是lambda抽象，而是一个应用程序，因此不在WHNF中。

λx.((λy.y+x)b)b在WHNF中

它是λ抽象，但不是在HNF中因为有一个头部λx。Rb

还原到λx.((b+x)b)。没有redex，所以是正常形式。

考虑λx.(λy.zyx)b)，化简为λx。R，所以不在HNF中。λx.(k(λy.zyx)b)化简为λx。因此它是在HNF中，而不是在NF中。

所有的NF均为HNF和WHNF。所有HNF均为WHNF。