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 模塊中實現（否則它們不會被稱為原語）。 相反，它們在編譯期間以特殊方式處理。