haskell序曲：seq的定义

Question

在haskell序言的定义中，我们看到...保留给Haskell无法实现的表达式。 例如，现在无法在haskell中实现IO monad。

令我惊讶的是seq在序言中的定义如下

seq :: a -> b -> b
seq = ...       -- Primitive

为什么不以下？ 我想念什么？

seq _ b = b

Answer 1

如您在seq上的Haskell Wiki条目中所见， seq函数必须满足以下两个方程式：

⊥ `seq` b = ⊥
a `seq` b = b

（其中⊥是未定义的值，这是非终止函数应用程序或诸如hd []和undefined逻辑求值）

您的定义显然不满足第一个方程式。

seq的典型用例是在评估第二个参数之前强制评估第一个参数（以弱头法线形式）。 （尽管严格来讲， seq不能保证这一点；请再次参见Wiki文章）

据我所知，在没有任何编译器扩展（例如-XBangPatterns情况下，无法在纯Haskell中定义此-XBangPatterns 。