haskell前奏：seq的定義

Question

在definition of the haskell prelude中，我們看到...保留給無法在Haskell中實現的表達式。現在，例如IO monad無法在haskell中實現。

讓我吃驚的是，seq被定義爲前奏

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

如下何不以下？我錯過了什麼？

seq _ b = b 

Answer 1

正如你可以在Haskell Wiki entry on seq看到，seq功能必須滿足以下兩個公式：

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

（其中⊥是不確定的狀態，這就是是非終止功能的應用或事物如hd []和undefined評估邏輯）

您的定義顯然不符合第一個等式。

seq的典型用例是在評估第二個參數之前強制評估第一個參數（對於弱頭標準形式）。 （儘管嚴格來說，seq並不能保證;再次看到這篇wiki文章）

就我所知，這樣的函數在沒有任何編譯器擴展如-XBangPatterns的純Haskell中是不可定義的。