Haskell 中 `seq` 的源代码级定义

Question

我在Haskell中尝试理解seq 。我对英文的seq有一些了解，所以现在我想阅读它的实现。

但是， 源代码说

infixr 0 `seq`
seq :: a -> b -> b
seq = seq

我怎么读这个？ 这是一个无限递归的定义吗？ 不过，我怀疑不是。

Answer 1

seq不能在普通 Haskell 中实现。这是一个“虚拟”定义。 它被 GHC 的实际seq行为“取代”。 所以seq的真正实现（可以这么说）是在编译器内部。

换句话说：如果我们忽略该代码片段中 function 的名称，则该定义与seq没有任何关系。 编译器看到名称“ seq ”（也许它是在那个特定模块中定义的事实；我不确定细节）并告诉它在编译期间用实际的seq行为替换定义。

Answer 2

您链接的文件以

{- 这是一个生成的文件（由 genprimopcode 生成）。 它不是实际使用的代码。 它的唯一目的是被黑线鳕吃掉。 -}

因此它的生成只是为了它可以反过来导致生成文档。

文件中的每个定义都由虚拟递归x = x给出。 这不是真正的定义，而只是一个占位符。

Haskell 在GHC.Prim中像seq这样的原语不能简单地在 Haskell 模块中实现（否则它们不会被称为原语）。 相反，它们在编译期间以特殊方式处理。