弱头范式和范式

Question

我对弱头范式和范式有疑问。

弱头范式意味着，表达式只会在需要到达数据构造函数时进行评估。

正规形式表示，表达式将被完全评估。

现在，我有以下表达：

\x -> x * 10

为什么上面的表达式是正常形式的？

"Papu" ++ "chon"

为什么上面的表达式既不是WHNF也不是NF？

Answer 1

WHNF 计算的距离足以到达数据构造函数或 lambda 函数。

如果您有一个未使用参数调用的 lambda 函数，则无论如何您都无法进一步评估它。因此 lambda 函数在 WHNF 中，实际上在 NF 中，因为没有什么可以进一步评估的。现在，如果您调用带有参数的 lambda 函数，我们可以评估结果可能是什么。但是 lambda 函数本身呢？没有什么可做的了。

您的第一个表达式是一个没有参数的 lambda 函数。因此它是正常形式的。

您的第二个表达式既不是数据构造函数也不是 lambda，因此不是任何正常形式。现在，如果你对它进行一步评估，你会得到

'P' : ("apu" ++ "chon")

哪个（虽然语法看起来不像）以数据构造函数（即(:)）开头，因此在WHNF中是，但不是NF （因为它仍然包含未计算的 (++) 子表达式）。

如果我们摆脱中缀语法，也许会更容易：

(++) "Papu" "chon"

对

(:) 'P' ( (++) "apu" "chon" )

Answer 2

\x -> x * 10

为什么上面的表达式是正常形式的？

因为，你无法简化它。

---

"Papu" ++ "chon"

为什么上面的表达式既不是WHNF也不是NF？

首先，如果在 NF 中有一些表达式 - 这意味着它在 WHNF 中。 NF 是 WHNF 的更受限制的版本。

所以，我们可以重组您的问题。 为什么上面的表达式不在 WHNF 中？

简单的答案是：我们可以将其简化为"Papuchon"。

---

如果你想知道WHNF和NF有什么区别，可以阅读，例如this。